blob: d57f401fcd2b07fe3100ad4bb6771202c3cc072d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
import gedit
import os
import os.path
import g_ed_it
class G_ed_it(gedit.Plugin):
def __init__(self):
gedit.Plugin.__init__(self)
self.instances = {}
def activate(self, window):
self.instances[window] = g_ed_it.PluginHelper(self, window)
def deactivate(self, window):
self.instances[window].deactivate()
def update_ui(self, window):
self.instances[window].update_ui()
|