|
plugins
|
Add appGenericName, appComment and appExec search
|
2024-06-12 11:51:31 +02:00 |
|
dotted.png
|
Initial commit
|
2009-07-27 12:45:34 +02:00 |
|
icon.svg
|
Generic names
|
2009-07-29 22:50:43 +02:00 |
|
keybinding.py
|
all: Use python3
|
2020-03-30 19:14:05 -04:00 |
|
pointerMonitor.py
|
all: Use python3
|
2020-03-30 19:14:05 -04:00 |
|
popup-without-edit.xml
|
Don't depend on a menu editor
|
2019-07-29 12:23:37 +02:00 |
|
popup.xml
|
Fixing prefs app
|
2013-03-08 20:06:06 -05:00 |
|
preferences.py
|
Remove whitespace
|
2024-06-12 10:38:27 +02:00 |