[orca] Map pluma to gedit
- From: Joanmarie Diggs <joanied src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [orca] Map pluma to gedit
- Date: Wed, 3 Oct 2018 12:36:32 +0000 (UTC)
commit 7ed8f305eea5ff1473f5f712bda1fbbe9005230b
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]