mirror of
https://github.com/nix-community/home-manager
synced 2024-06-28 17:38:33 +02:00
15 lines
331 B
INI
15 lines
331 B
INI
"tool-1" = PEN (size=5 color="red");
|
|
"default" = "tool-1";
|
|
|
|
"tool-2" = PEN (size=5 color="blue");
|
|
"default"[SHIFT] = "tool-2";
|
|
|
|
"tool-3" = PEN (size=5 color="yellow");
|
|
"default"[CONTROL] = "tool-3";
|
|
|
|
"tool-4" = PEN (size=6 color="green" arrowsize=1);
|
|
"default"[2] = "tool-4";
|
|
|
|
"tool-5" = ERASER (size=75);
|
|
"default"[3] = "tool-5";
|