# Configuration file for gromit

# Tools

"roter Stift" = PEN (size=7 color="red");
"blauer Stift" = "roter Stift" (color="blue");
"gelber Stift" = "roter Stift" (color="yellow");
"rosa Stift" = "roter Stift" (color="#ff00aa");
"Radierer" = ERASER (size = 75);
"Gros Red" = PEN (size=17 color="red");
"Gros Blue" = "Gros Red" (color="blue");
"Gros Yellow" = "Gros Red" (color="yellow");
"Gros Rosa" = "Gros Red" (color="#ff00aa");


# Mapping to Pointing devices

"Core Pointer" = "roter Stift";
"Core Pointer"[SHIFT] = "blauer Stift";
"Core Pointer"[CONTROL] = "gelber Stift";
"Core Pointer"[META] = "rosa Stift";
"Core Pointer"[2] = "Gros Red";
"Core Pointer"[2 SHIFT] = "Gros Blue";
"Core Pointer"[2 CONTROL] = "Gros Yellow";
"Core Pointer"[2 META] = "Gros Rosa";
"Core Pointer"[3] = "Radierer";
"Core Pointer"[3 SHIFT] = "Radierer" (size = 150);
"Pen1" = "roter Stift" (size = 15);
"Pen1"[SHIFT] = "blauer Stift";
"Pen1"[CONTROL] = "Radierer";
"Eraser" = "Radierer";