Hagb

#!/bin/bash
# MIT License
TIMEOUT=500
TYPE_DELAY=100
TH123_CLASSNAME=th123.exe

is_focus() {
	[ "x$TH123_CLASSNAME" = "x$(xprop -id "$(xdotool getwindowfocus)" | rg WM_CLASS | cut -d \" -f2)" ]
}
if ! is_focus; then

Hagb

<?xml version="1.0" encoding="UTF-8"?>
<!--
  based on pygments highlighting file for Lean4 (https://github.com/leanprover/lean4/blob/master/doc/latex/lean4.py)
  and VSCode highlighting file for Lean4 (https://github.com/leanprover/vscode-lean4/blob/master/vscode-lean4/syntaxes/lean4.json).
-->
<language name="Lean" version="1" kateversion="2.4" section="Sources" extensions="*.lean;*.lean4"
    mimetype="text/x-lean">

    <highlighting>

Hagb

Keybase proof

I hereby claim:

• I am Hagb on github.
• I am hagb (https://keybase.io/hagb) on keybase.
• I have a public key whose fingerprint is 40B5 42D3 636C F9D1 F599 C40A 5080 8599 9444 643A

To claim this, I am signing this object: