Mike Sawka and GitHub
047513bf3a
default url, default search, open in external browser ( #794 )
2024-09-20 11:24:37 -07:00
Sylvie Crowe and GitHub
040bcf49b7
Remove Tips Modal ( #393 )
...
This tips modal wasn't discovered often enough in tests, so we are
removing it.
2024-09-17 14:29:44 -07:00
Sylvie Crowe and GitHub
555ab07861
Add Tips Modal for Directory ( #374 )
...
This is an experimental modal to show tips. If it helps improve
discoverability, it will be improved in the future.
2024-09-13 03:36:15 -07:00
Sylvie Crowe and GitHub
04fb8e5aad
Mimetype Quick Fixes ( #359 )
2024-09-10 13:23:02 -07:00
sawka
05306e36d1
fix default settings (telemetry), and stop block controllers in a background thread.
2024-09-05 16:36:24 -07:00
Evan Simkowitz and GitHub
74c8044c73
Add gap size setting ( #325 )
...
Adds a new setting for the gap size between tiles in a layout. Also
updates the resize handle calculations so they are dynamically generated
based on the gap size. Also updates the styling for the resize handles
to be more robust.
This also updates the default gap size to 3px.
This also slims out the Block Frame padding so it is just enough that
the blocks don't overlap when there's no gap.
2024-09-04 22:07:47 -07:00
Evan Simkowitz and GitHub
74612c7e62
Add user setting for the editor minimap ( #321 )
2024-09-04 14:00:29 -07:00
sawka
945c63a3e5
add monokai, make themes more generic -- display:name/display:order
2024-08-29 21:35:33 -07:00
sawka
a7606b8363
update visuals to say gpt-4o-mini
2024-08-28 12:05:36 -07:00
Mike Sawka and GitHub
8630e23239
new config system ( #283 )
2024-08-27 18:49:49 -07:00
Mike SawkaandGitHub
Sylvie CroweandGitHub
Evan SimkowitzandGitHub