This update features some small UI improvements:
- titlebar in file manager now uses lines instead of dots, it's influenced by design of the 1984 Mac OS
- quick dialogs are now detached from the bottom border and closer to the right border, hiding less of the editor
- better design for shortcut tips in the command palette
- better indication for last active file in the file manager
- folder labels in file bar now use
›
(instead of/
) as a path delimiter, which is consistent with the rest of the app (ex: goto file) - (experimental, light-theme-only at this point) file bar to show extensions of non-
.md
files (in color)