Michael Herrmann
Michael Herrmann
There's already #442 for making GoTo resizable. Shall we make this present issue only about making the Command Palette (Ctrl+Shift+P) resizable?
Okay :) I'll update the issue description.
I'm not sure whether to "just implement this" for everyone. It may confuse some Windows users to change the semantics of what it means for a file to be hidden....
(Or you could overwrite `core.commands.is_hidden`. Might be easier.)
Can your issues be resolved by following the instructions under "Deleting files on macOS" at the bottom of https://fman.io/docs/macos ?
@aberenyi I'm sorry, I don't know.
That's a very interesting idea!
What do you mean by the icons theme @rendomnet?
@rendomnet I'll keep it in mind
Hacking around in fman's installation directory, it's currently possible to significantly change the theme through `styles.qss`. The only thing that apparently can't be changed right now seems to be the...