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

From: pborelli svn gnome org
To: svn-commits-list gnome org
Subject: gedit r5725 - in trunk: . plugins/externaltools/tools
Date: Wed, 18 Jul 2007 14:49:36 +0100 (BST)

Author: pborelli
Date: 2007-07-18 14:49:34 +0100 (Wed, 18 Jul 2007)
New Revision: 5725
ViewCVS link: http://svn.gnome.org/viewcvs/gedit?rev=5725&view=rev

Modified:
   trunk/ChangeLog
   trunk/plugins/externaltools/tools/manager.py
Log:
2007-07-18  Paolo Borelli  <pborelli katamail com>

	* plugins/externaltools/tools/manager.py: fix typo that
	prevernted to properly save the selected output target.
	Patch by Alexandre Mazari, fixes bug #454368.

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