[orca/gnome-3-30] Map pluma to gedit
- From: Joanmarie Diggs <joanied src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [orca/gnome-3-30] Map pluma to gedit
- Date: Wed, 3 Oct 2018 12:38:48 +0000 (UTC)
commit efd0edafd1db5b6948bd3c3494aa37ff0b3ff3ea
Author: Joanmarie Diggs <jdiggs igalia com>
Date: Wed Oct 3 08:35:56 2018 -0400
Map pluma to gedit
src/orca/script_manager.py | 1 +
1 file changed, 1 insertion(+)
---
diff --git a/src/orca/script_manager.py b/src/orca/script_manager.py
index 4c2000d1a..648f5a180 100644
--- a/src/orca/script_manager.py
+++ b/src/orca/script_manager.py
@@ -54,6 +54,7 @@ class ScriptManager:
'marco': 'metacity',
'Nereid': 'Banshee',
'mate-notification-daemon': 'notification-daemon',
+ 'pluma': 'gedit',
}
self.setActiveScript(None, "__init__")
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]