Alexander Bantyev
Alexander Bantyev
Could you please confirm that all this works? (Apart from bigger input, which is now configurable)?
> > Launch at top and middle of screen > > Is it possible to configure? I believe it should appear in the middle of the screen by default. Unfortunately,...
> What about bigger font size? Good idea. Going to add a configuration option for that.
Closes on focus out now.
Dark mode is really up to Gtk theme, I believe we shouldn't add any features that are already implemented a layer deeper. E.g. this is what it looks for me:...
Also, I can't seem to find any good (both declarative and non-hacky) way to increase the font size. It seems GNOME/Gtk team wants all applications to have consistent fonts.
> My system is in KDE/Qt, therefore it hasn't GTK_THEME environment. It doesn't actually matter; You can set it wherever, just download some dark theme to `~/.local/share/themes/` and then run...
I'm surprised it's not available. I'll look into it.
Actually, it looks like the nixpkgs builder doesn't use cabal directly. So, I guess I could add `cabal-install` to `buildInputs` of `devShell` (this will result in `nix-shell` having `cabal` in...
Error during update branch setup: There are human commits in the update branch