YuSanka f2aeca3a71 Options from the "Preferences" dialog added to the Search
Some code refactoring:
* use GUI_App::open_preferences() on all places where it's needed
* Preferences Dialog is an attribute of a ManeFrame class and created just ones during the MainFrame creation now.
* Created class Highlighter. Use it in Preferences and Tab
2021-12-22 14:38:23 +01:00
..
2019-05-23 18:04:27 +02:00
2021-12-16 15:49:19 +01:00
2019-11-18 16:07:39 +01:00