Add the ability to scale th statistics graphs

include/openspace/engine/windowdelegate.h

@@ -124,6 +124,8 @@ struct WindowDelegate {
 
     glm::vec2 (*mousePositionViewportRelative)(const glm::vec2& mousePosition) =
         [](const glm::vec2&) { return glm::vec2(0); };
+
+    void (*setStatisticsGraphScale)(float scale) = [](float) {};
 };
 
 } // namespace openspace

include/openspace/rendering/renderengine.h

@@ -187,6 +187,7 @@ private:
     properties::IntListProperty _screenshotWindowIds;
     properties::BoolProperty _applyWarping;
     properties::BoolProperty _showStatistics;
+    properties::FloatProperty _statisticsScale;
     properties::BoolProperty _screenshotUseDate;
     properties::BoolProperty _showFrameInformation;
     properties::BoolProperty _disableMasterRendering;