Improve re-size in File Explorer

Author: HelioGuilherme66

src/robotide/application/releasenotes.py

@@ -236,11 +236,12 @@ def set_content(self, html_win, content):
 <pre class="literal-block">python -m robotide.postinstall -install</pre>
 <p>or</p>
 <pre class="literal-block">ride_postinstall.py -install</pre>
-<p>RIDE {VERSION} was released on 02/December/2025.</p>
+<p>RIDE {VERSION} was released on 05/December/2025.</p>
 <br/>
+<!-- 
 <h3>Celebrate the bank holiday, 1st December, Restoration of the Independence of Portugal (from Spain in 1640)!!</h3>
 <h3 align='center'>🇵🇹</h3>
-<!-- 
+
 <br/>
 <h3>Celebrate the bank holiday, 5th October, Implantation of the Republic in Portugal</h3>
 <h4>Happy 115th bithday! Long live the Republic!</h4>

src/robotide/ui/fileexplorerplugin.py

@@ -75,7 +75,6 @@ def __init__(self, application, controller=None):
         # self.font = self.file_explorer.GetFont()
         self.font = None
         self._popup_creator = PopupCreator()
-        self.subscribe(self.on_suite_opened, RideOpenSuite, RideSettingsChanged)
         self._actions = [
             _('Open'),
             '---',
@@ -102,7 +101,7 @@ def register_frame(self, parent=None):
                 register = self._mgr.AddPane
 
             register(self.file_explorer, wx.lib.agw.aui.AuiPaneInfo().Name("file_manager").
-                     Caption(_("Files")).LeftDockable(True).CloseButton(False))
+                     Caption(_("Files")).LeftDockable(True).CloseButton(True))
 
             self._mgr.Update()
 
@@ -196,6 +195,7 @@ def show_file_explorer(self):
         self.file_explorer.Refresh()
         self._filetreectrl.SetBackgroundColour(html_background)
         self._filetreectrl.SetForegroundColour(html_foreground)
+        # print(f"DEBUG: FileExplorerPlugin SET FONT treectrl size={self.html_font_size}")
         self._filetreectrl.SetFont(self.font)
         self._filetreectrl.Fit()
         self._filetreectrl.Refresh()
@@ -242,12 +242,6 @@ def update_tree(self):
     def show_popup(self):
         self._popup_creator.show(self.file_explorer, PopupMenuItems(self, self._actions, self._actions_nt), self._controller)
 
-    def on_suite_opened(self, message):
-        # Update File Explorer tree when suite is opened to use whole pane (when floating).
-        # Not working
-        __ = message
-        wx.CallAfter(self.update_tree)
-
     def on_open(self, event):
         # __ = event
         # print(f"DEBUG: FileExplorerPlugin call on_open_file={event}\n"
@@ -308,6 +302,7 @@ def __init__(self, parent, plugin, controller=None):
         self.Bind(wx.EVT_SIZE, self.on_size)
         self.Bind(wx.EVT_TREE_ITEM_RIGHT_CLICK, self.on_right_click)
         self.Bind(wx.EVT_KEY_DOWN, self.on_key_press)
+        PUBLISHER.subscribe(self.on_suite_opened, RideOpenSuite)
         PUBLISHER.subscribe(self.on_settings_changed, RideSettingsChanged)
         self.SetThemeEnabled(True)
         self.SetAutoLayout(True)
@@ -343,8 +338,8 @@ def update_tree(self):
                     pass
                 # self.on_size(wx.EVT_SIZE)
                 self.Refresh()
-                self.Update()
                 self.tree_ctrl.Update()
+                self.Update()
 
     def _apply_settings(self):
         apply_to_panels = self._plugin.general_settings['apply to panels']
@@ -380,13 +375,18 @@ def _apply_settings(self):
         self.font.SetFaceName(self._plugin.settings['font face'])
         self.font.SetPointSize(int(self._plugin.settings['font size']))
         self.SetFont(self.font)
+        tc.SetFont(self.font)
         tc.Fit()
         tc.Refresh()
         tc.Update()
+        # print(f"DEBUG: FileExplorerPlugin _apply_settings SET FONT treectrl "
+        #       f"size={int(self._plugin.settings['font size'])}")
         self.tree_ctrl.SetFont(self.font)
         self.tree_ctrl.Fit()
         self.tool_bar_txt.SetFont(self.font)
         self.tree_ctrl.Refresh()
+        self.tree_ctrl.Update()
+        self.Update()
 
     def on_close(self, event):
         __ = event
@@ -397,19 +397,27 @@ def on_key_press(self, event):
         print(f"DEBUG: FileExplorer on_key_press Skipping {event.KeyCode()}")
         event.Skip()
 
+    def on_suite_opened(self, message):
+        # Update File Explorer tree when suite is opened to use whole pane (when floating).
+        # Not working
+        __ = message
+        wx.CallAfter(self.on_size)
+
     def on_size(self, event=None):
         if event:
             event.Skip()
         self.update_tree()
         sz = self.GetSize()  # + wx.Size(-5, -5)
         # print(f"DEBUG: FileExplorer On size refreshing. sz={sz}")
+        self.tree_ctrl.SetSize(sz)
+        self.tree_ctrl.Fit()
+        self.tree_ctrl.Refresh()
         tc = self.tree_ctrl.GetTreeCtrl()
         tc.SetSize(sz)
         tc.Fit()
         tc.Refresh()
-        self.tree_ctrl.Fit()
-        self.tree_ctrl.Refresh()
         self.tree_ctrl.Update()
+        self.Update()
 
     def on_right_click(self, event):
         __ = event
@@ -428,6 +436,7 @@ def on_right_click(self, event):
 
     def on_settings_changed(self, message):
         """Redraw the colors if the color settings are modified"""
+        # print(f"DEBUG: FileExplorer on_settings_changed ENTER {message.keys}\n")
         if message.keys[0] == "General":
             if message.keys[-1] == "apply to panels":
                 self.update_tree()
@@ -445,6 +454,7 @@ def on_settings_changed(self, message):
                 opened = self._plugin.settings['opened']
                 if opened:
                     pane_info.Show(True)
+                    self._apply_settings()
                 else:
                     pane_info.Hide()
                 self._plugin._pane.GetManager().Update()

src/robotide/version.py

@@ -15,4 +15,4 @@
 #
 # Automatically generated by `tasks.py`.
 
-VERSION = 'v2.2.1dev3'
+VERSION = 'v2.2.1dev4'