Rufus's repositories
gedit-control-your-tabs
A gedit plugin to switch between document tabs using Ctrl+Tab / Ctrl+Shift+Tab (most recently used order) and Ctrl+PageUp / Ctrl+PageDown (tabbar order)
Language:PythonGPL-3.0000
GEdit3TabSwitch
Switch tabs with Ctrl+Tab in GEdit 3
Language:Python000
jquery.livefilter
Slightly advanced live filtering jQuery plugin
Language:JavaScript000
gedit3-custom-indent
A plugin for gedit3 that allows custom indentation settings for each language
Language:PythonGPL-3.0000