Two gedit plugins clash. How to change shortcut keys, or enable/disable a plugin
Solution 1:
I wrote the following python script (download) that enables/disables the Multi-edit plugin:
#!/usr/env/python
import re
import commands
active_plugins = commands.getoutput("gconftool --get /apps/gedit-2/plugins/active-plugins")
r1 = re.compile(r'multi_edit')
if r1.search(active_plugins):
# Disable multi-edit plugin
active_plugins = re.sub("multi_edit,|,multi_edit","", active_plugins)
else:
# Enable multi-edit plugin
active_plugins = re.sub("]",",multi_edit]", active_plugins)
commands.getoutput("gconftool --set --type=list --list-type=string /apps/gedit-2/plugins/active-plugins "+active_plugins)
To toggle Multi-edit with a keyboard shortcut:
-
Save the script as
toggle-multi-edit.py
in your home folder. -
Open up System → Preferences → Keyboard Shortcuts. Click Add and put
python /home/<user>/toggle-multi-edit.py
for the Command, replacing<user>
with your actual username.
Solution 2:
Its simple :)
Enabling
Edit > Preferences
Now look at the Plugins section.
Select the check box next to the name of the plugin that you want to enable.
You may now Click Close to close Gedit, Then start it again
Disabling
Edit > Preferences
Now look at the Plugins section.
Deselect the check box next to the name of the plugin that you want to enable.
You may now Click Close to close Gedit, Then start it again