Could be a new window or could be another page on the main window.
If it's going to be another page on the main window then main window would need to be modified a little to allow for non tabbed pages.
Settings page would be used mainly for key rebinding but would also house other settings or actions like reloading translation.
Could be a new window or could be another page on the main window.
If it's going to be another page on the main window then main window would need to be modified a little to allow for non tabbed pages.
Settings page would be used mainly for key rebinding but would also house other settings or actions like reloading translation.
Could be a new window or could be another page on the main window.
If it's going to be another page on the main window then main window would need to be modified a little to allow for non tabbed pages.
Settings page would be used mainly for key rebinding but would also house other settings or actions like reloading translation.
91daeb4cfcadds a settings pane to the main window and adds a persistent button to open the pane.