ToolsPanelExplorer: Height on favorites field isn't saved
ToolsPanelExplorer: Height on favorites field isn't saved
The height size on favorites field from the ToolsPanelExplorer isn't saved.
Why OpenSource should have a license :: PB-CodeArchiv-Rebirth :: Pleasant-Dark (syntax color scheme) :: RegEx-Engine (compiles RegExes to NFA/DFA)
Manjaro Xfce x64 (Main system) :: Windows 10 Home (VirtualBox) :: Newest PureBasic version
Re: ToolsPanelExplorer: Height on favorites field isn't save
confirmed (Linux Mint 18.1 Serena / Cinnamon 3.2.7 (Gtk 3.18.9) / PB5.60 (x64)).Sicro wrote:The height size on favorites field from the ToolsPanelExplorer isn't saved.
Greetings ... Peter
Hygge
Re: ToolsPanelExplorer: Height on favorites field isn't save
That's unfortunate if the height is zero. I was trying to find and add the favorites tab to the panel in the preferences until I realized I have to resize it in the explorer tab.
BTW: The IDE crashes if I doubleclick a favorite that doesn't exist anymore in the filesystem (deleted folder).
BTW: The IDE crashes if I doubleclick a favorite that doesn't exist anymore in the filesystem (deleted folder).