Andrei Dobrete

Start coq on Neovim launch

5

What the title says. This plugin is absolutely awesome but the only problem it has, for me, is that you *must* run `:COQnow` to start it. And, if you want...

In the [Hyprland Wiki](https://wiki.hyprland.org/Configuring/Variables/#misc) there's options to change the splash's color and font family. Hyprpaper includes the option to have a splash, but it doesn't have these configuration options for...

Window Header - Title crashes while trying to enable "Show the plugin on the desktop"

7

It just crashes the "Properties" menu most of the time but sometimes it crashes xfce4-panel too Output of xfce4-panel --version: $ xfce4-panel --version xfce4-panel 4.14.0git-55dc7b (Xfce 4.14) Copyright (c) 2004-2011...

Brother HL-L2402D works with HL-L2300D driver

1

Output of `sudo lpinfo --include-schemes usb -l -v`: ``` Device: uri = usb://Brother/HL-L2402D?serial=E83120M3N286637 class = direct info = Brother HL-L2402D make-and-model = Brother HL-L2402D device-id = MFG:Brother;CMD:PJL,HBP;MDL:HL-L2402D;CLS:PRINTER;CID:Brother Laser Type1; location...

Focus follow mouse delay

1

### Description What I miss from DE's that implement 'Focus follows mouse' is the ability to set a delay for how much the mouse cursor has to hover over the...

**Is your feature request related to a problem? Please describe.** I'd like to use this to automatically format my NixOS configuration, but I don't like that it breaks [Allman-style indentation](https://en.wikipedia.org/wiki/Indentation_style#Allman_style)....