move box preferences from settings to preferences
Showing
- python/export_trace_manager.py 5 additions, 5 deletionspython/export_trace_manager.py
- python/gui_manager.py 13 additions, 9 deletionspython/gui_manager.py
- python/mp_code_view.py 3 additions, 3 deletionspython/mp_code_view.py
- python/paint_graph_item.py 3 additions, 3 deletionspython/paint_graph_item.py
- python/preferences_manager.py 108 additions, 144 deletionspython/preferences_manager.py
- python/search_mp_files_dialog_wrapper.py 6 additions, 6 deletionspython/search_mp_files_dialog_wrapper.py
- python/settings_change_theme_menu.py 36 additions, 2 deletionspython/settings_change_theme_menu.py
- python/settings_defaults.py 0 additions, 9 deletionspython/settings_defaults.py
- python/settings_dialog.py 13 additions, 53 deletionspython/settings_dialog.py
- python/settings_dialog.ui 14 additions, 144 deletionspython/settings_dialog.ui
- python/settings_dialog_wrapper.py 2 additions, 37 deletionspython/settings_dialog_wrapper.py
- python/settings_manager.py 7 additions, 7 deletionspython/settings_manager.py
- python/tg_to_gry.py 9 additions, 8 deletionspython/tg_to_gry.py
Loading
Please register or sign in to comment