Gedit Document Properties Plugin - version 0.2

Version 0.2 of the Document Properties Plugin that I mentioned yesterday has been released. Go grab it. (Installation instructions remain the same).

Changes in this release:

  • Disable the Properties menu item if no document is loaded, or if the current document does not have a valid URI (happens when you do a File->New).
  • Made the user, group and the permissions labels selectable.
  • Properly handle files that have SUID/SGID/Sticky bit set.

Any kind of feedback/flames is appreciated :-).

..and in other news, I managed to get sound working in Hippopotamus today, and cleaned up some really weird bugs. Expect a release early next week.

Also, finally I managed to upgrade the Drupal installation at FSF India to the latest release. The Drupal devs should ideally post *.diff files with new releases - it would make life much easier for us (in case anyone is wondering, it would turn most upgrades into a one command affair with patch ;-) ).

Commentary

Leave a response »

  1. 1. 2 years, 4 months ago

    Hey buddy , How could someone get access to Submit Feeds to Planet Floss India

Trackbacks

Leave a comment, a trackback from your own site or subscribe to an RSS feed for this entry. Trackback URL for this entry Comments feed for this entry

Leave a response

Leave a URL

Preview