Commit Graph

19 Commits

Author SHA1 Message Date
Ernie Pasveer 25307b4e44 WIP - Adding enable minimap to editor config page. 2026-07-26 18:52:54 -05:00
mgrojo 06b23c22d2 Refactor the UI for the editor config page for future new languages
Using a tab for each language it will take less stacked vertical space and new languages will just be added as new tabs.

If a new language is added, a new tab should be simply added to the `.ui` and  a new branch in `handleLanguageTabChanged()` for updating the sample text.
2026-04-10 23:46:35 +02:00
mgrojo 3db2515b50 Add Ada support to editor configuration and settings 2026-04-10 23:46:35 +02:00
Ernie Pasveer a39874414c Add option to list all fonts, not just Monospace. 2026-03-30 15:55:11 -05:00
Ernie Pasveer 2f0921cfd3 Add an option to automatically reload the source file if it's changed. 2026-01-25 12:27:07 -06:00
Ernie Pasveer 1701687494 Show syntax highlighing for C/C++, Rust and Odin. 2025-10-18 11:24:20 -05:00
Ernie Pasveer b88d68afd3 Add copyright header to each source file. 2025-08-26 17:26:05 -05:00
Ernie Pasveer 383cb34e0c Add external editor option.
Seer can launch an external editor on the current source file when
using the RMB menu.
2024-03-02 11:39:39 -06:00
Ernie Pasveer 94f9aae6c1 Fixed '\t' character returned by some flavors of gdb that display the disassembly. 2022-12-18 16:12:25 -06:00
Ernie Pasveer 67e2df2800 Finished config for KeepAssemblyOnTop and ShowAssemblyOnStartup. 2022-07-20 19:51:38 -05:00
Ernie Pasveer 8c894b9e84 Add dark and light theme to editor config page.
The dark and light themes are hardwired into Seer.
After applying one of them, you can tweak them.
Then save the configuration.
2022-07-09 10:03:03 -05:00
Ernie Pasveer 9cce2761f1 Finished editor font and syntax highlighing settings. 2022-01-08 12:39:37 -06:00
Ernie Pasveer bda1ce4270 Checkpoint. Syntax colors. Can now apply new ones. 2022-01-03 16:03:07 -06:00
Ernie Pasveer 611af86f59 Checkpoint - more work done on the highlighter settings. 2022-01-02 11:33:56 -06:00
Ernie Pasveer 5a1d31d15c Config editor font.
Save and restore from settings file. Change all open
and future editors.
2021-12-26 14:57:58 -06:00
Ernie Pasveer f645a76959 Checkpoint for editor fonts.. 2021-12-25 10:26:01 -06:00
Ernie Pasveer dc93f413bf Checkpoint for editor font selector. 2021-12-25 08:48:36 -06:00
Ernie Pasveer 70408991d4 Checkpoint for Config dialog. 2021-12-20 18:04:53 -06:00
Ernie Pasveer 6222c13bf5 Checkpoint for Settings dialog. 2021-12-19 11:11:42 -06:00