[orca] Map pluma to gedit



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]