GLUI: PropertyViewEdit: avoid undefined behaviour during construction

Signed-off-by: Stefan Westerfeld <[email protected]>
swesterfeld · Oct 30, 2023 · 253b565 · 253b565
1 parent 5648412
commit 253b565
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/glui/smpropertyviewedit.hh b/glui/smpropertyviewedit.hh
@@ -38,7 +38,7 @@ protected:
   std::vector<ControlView *> control_views;
   std::vector<Widget *> mod_widgets;
 
-  int
+  static int
   window_height (Property& property)
   {
     if (property.modulation_list())