Gtk UI: Remove the extension preference UI for now
treed28201e19d940e9687c57bf1176cc4da1ed4e1b3
drwxr-xr-x - .tx
-rw-r--r-- 35147 COPYING
-rw-r--r-- 143 MANIFEST.in
-rw-r--r-- 5255 README
drwxr-xr-x - bin
drwxr-xr-x - data
drwxr-xr-x - draft
drwxr-xr-x - examples
-rw-r--r-- 5303 makefile
-rw-r--r-- 4801 setup.py
drwxr-xr-x - src
drwxr-xr-x - tools