@@ -978,7 +978,7 @@ def resize(self, event: tk.Event) -> None:
978978 width = max (
979979 w_width - left_width - 16 , 560 + self .view .lut .winfo_width ()
980980 )
981- height = max (w_height - top_height - 38 , 670 )
981+ height = max (w_height - top_height - 50 , 670 )
982982 else :
983983 width = event .width
984984 height = event .height - 24
@@ -1010,6 +1010,9 @@ def refresh(self, width: int, height: int) -> None:
10101010 if widget != self .view .canvas :
10111011 if self .view .is_docked or widget .winfo_ismapped ():
10121012 widget_height += widget .winfo_height () + 5
1013+ if widget .winfo_height () < 30 :
1014+ widget_height += 30
1015+
10131016 self .canvas_height = (
10141017 height - widget_height - (50 if self .view .is_docked else - 5 )
10151018 )
@@ -1113,8 +1116,7 @@ def __init__(self, view, parent_controller=None) -> None:
11131116 # Slider Binding
11141117 self .view .slider .bind ("<Motion>" , self .slider_update )
11151118
1116- if platform .system () == "Windows" :
1117- self .resize_event_id = self .view .bind ("<Configure>" , self .resize )
1119+ self .resize_event_id = self .view .bind ("<Configure>" , self .resize )
11181120
11191121 #: str: The display state.
11201122 self .display_state = "Live"
@@ -1472,8 +1474,7 @@ def __init__(self, view, parent_controller=None) -> None:
14721474 #: dict: The render widgets.
14731475 self .render_widgets = self .view .render .get_widgets ()
14741476
1475- if platform .system () == "Windows" :
1476- self .resize_event_id = self .view .bind ("<Configure>" , self .resize )
1477+ self .resize_event_id = self .view .bind ("<Configure>" , self .resize )
14771478
14781479 #: bool: The display enabled flag.
14791480 self .display_enabled = tk .BooleanVar ()
0 commit comments