plugins
|
Search: Fix searching for accentuated strings
|
2020-07-18 12:24:28 +01: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
|
Preferences: Fix IconChooser argument
|
2019-11-29 12:01:29 +00:00 |