On Fri, 27 Mar 2009 16:03:59 +0100, Bert wrote:
On Fri, 2009-03-27 at 15:54 +0100, Enrico Tröger wrote:
On Fri, 27 Mar 2009 15:47:10 +0100, Bert wrote:
Hi,
Attached is a small patch that fixes one of my favorite :-) annoyances: when you select "Go to line" from the search menu (or hit ctrl+l), the line number in the dialog window is now selected. So you can type in the line number you want without having to delete your current line number first.
It's also selected without your patch, at least here.
That's odd... definitely not selected here. Maybe this is something that was fixed in newer versions of GTK+? Which version of GTK+ do you have? Mine is 2.14.4 (standard on the latest ubuntu).
See my User-Agent string :). It's GTK 2.16.0 but I'm pretty sure I had the same already with 2.14.x. Not that that single line to select the line number in the spinner would be the worst thing ever but out of curiosity it'd be nice to track the difference down.
Regards, Enrico