GNOME Bugzilla – Bug 322497
RFE: File -> Properties
Last modified: 2006-07-20 15:00:42 UTC
Handy to see the creation date, MIME/type, owner, group etc
It should be not too difficult to write this feature as a plugin.
I feel it should be by default in gedit. It's a pretty basic function
I think I wrote something that might be of use here: http://sayamindu.randomink.org/ramblings/2006/07/19/playing-around-with-python-bindings-for-gnome/ Please let me know if it can help, I'll try to come up with a patch, maybe before feature freeze :-).
Sayamindu: good work! Please add it to http://live.gnome.org/Gedit/Plugins, since it's where we track existing plugins. Once you feel the code is polished enough you may also ask for the plugin to be included in the gedit-plugins module in gnomecvs (though the decision about the inclusion of the plugin are up to the gedit-plugins mainatainers) I don't think that this feature should be in the core and, as showed by Sayamindu, plugins are well suited for this kind of add on. Sometimes ago we decided to not track all the plugins request in bugzilla since it makes hard to manage 'normal' bugs, thus I am closing this bug. As I said above, please add the plugin to the wiki page so that it's easily reachable. Thanks!
(In reply to comment #4) > Sayamindu: good work! Please add it to http://live.gnome.org/Gedit/Plugins, > since it's where we track existing plugins. Sayamindu: Please do not the GUI mode to update the wiki page. It changes the layout and removes gnomebug links and does some other nasty stuff. Please use the text edit mode!