Added tooltips for the GtkSourceView options (Thomas Leonard).
treee6a109c0c9b480f644d62ba728554246cc73d68b
-rw-r--r-- 3408 .DirIcon
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 1659 AppInfo.xml
-rwxr-xr-x 495 AppRun
-rw-r--r-- 27518 EditWindow.py
drwxr-xr-x - Help
drwxr-xr-x - Messages
-rw-r--r-- 3674 Options.xml
-rw-r--r-- 4127 buffer.py
-rw-r--r-- 3522 diff.py
-rw-r--r-- 3444 findrox.py
-rw-r--r-- 761 goto.py
drwxr-xr-x - images
-rw-r--r-- 8624 search.py
-rw-r--r-- 1158 setup.py
drwxr-xr-x - tests