gedit r5952 - in trunk: . plugins/externaltools/tools

From: chovey svn gnome org
To: svn-commits-list gnome org
Subject: gedit r5952 - in trunk: . plugins/externaltools/tools
Date: Sun, 7 Oct 2007 16:58:24 +0100 (BST)

Author: chovey
Date: 2007-10-07 16:58:24 +0100 (Sun, 07 Oct 2007)
New Revision: 5952
ViewCVS link: http://svn.gnome.org/viewcvs/gedit?rev=5952&view=rev

Modified:
   trunk/ChangeLog
   trunk/plugins/externaltools/tools/library.py
Log:
2007-10-07 Curtis Hovey <sinzui is verizon net>

        * plugins/externaltools/tools/library.py: load tool property if
    it is not already in _properties. Fix bug 484318.

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]