From 253b565ab4c0bae1cceab1c062ff2a8305eb92ff Mon Sep 17 00:00:00 2001
From: Stefan Westerfeld <stefan@space.twc.de>
Date: Mon, 30 Oct 2023 16:23:32 +0100
Subject: [PATCH] GLUI: PropertyViewEdit: avoid undefined behaviour during
 construction

Signed-off-by: Stefan Westerfeld <stefan@space.twc.de>
---
 glui/smpropertyviewedit.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/glui/smpropertyviewedit.hh b/glui/smpropertyviewedit.hh
index 930f2399..26a0a2dc 100644
--- 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())