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

From: paolo svn gnome org
To: svn-commits-list gnome org
Subject: gedit r5439 - in trunk: . plugins/externaltools/tools
Date: Wed, 10 Jan 2007 16:55:58 +0000 (GMT)

Author: paolo
Date: 2007-01-10 16:55:57 +0000 (Wed, 10 Jan 2007)
New Revision: 5439
ViewCVS link: http://svn.gnome.org/viewcvs/gedit?rev=5439&view=rev

Modified:
   trunk/ChangeLog
   trunk/plugins/externaltools/tools/manager.py
Log:
2007-01-10  Paolo Maggi  <paolo gnome org>

	Fixes bug #352959 â External Tools: "output pane" should be 
	                    "bottom pane"
	
	* plugins/externaltools/tools/manager.py: replace 
	'Insert in output panel' with 'Display in bottom pane'

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