diff options
author | Paolo Maggi <paolo.maggi@polito.it> | 2003-06-03 15:39:29 +0000 |
---|---|---|
committer | Paolo Maggi <paolo@src.gnome.org> | 2003-06-03 15:39:29 +0000 |
commit | c7d841e96ae95878556ecc8e7bad23a702ca520f (patch) | |
tree | 28e4c6bf6ee5afa09445acd59505807d7d2b409c /plugins/docinfo | |
parent | bd12094e7f9e99b7c2687fbf77f733175f3c12d1 (diff) | |
download | gedit-c7d841e96ae95878556ecc8e7bad23a702ca520f.tar.gz |
fixed plugin manager according to GNOME 2.2 ui-review (at least, according
2003-06-03 Paolo Maggi <paolo.maggi@polito.it>
* dialogs/gedit-plugin-manager.c:
* dialogs/plugin-manager.glade2: fixed plugin manager according to GNOME 2.2
ui-review (at least, according to what I remember since I don't have the log
of the part of the review containing the comments about plugin manager).
Diffstat (limited to 'plugins/docinfo')
0 files changed, 0 insertions, 0 deletions