|
From: | Daniel J Sebald |
Subject: | Add tool tip to the file name tabs |
Date: | Sun, 27 Jan 2013 18:52:48 -0600 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.24) Gecko/20111108 Fedora/3.1.16-1.fc14 Thunderbird/3.1.16 |
Torsten,I see you were just working on the file name in the GUI/IDE editor tabs. Please consider adding this patch
https://savannah.gnu.org/patch/index.php?7933that sets a tool tip to the full-length file name if the file name is all that is displayed. With that, there is the option to have condensed names in the tabs (i.e., more tabs visible) yet get the full path name via an easy move of the cursor.
Thanks, Dan
[Prev in Thread] | Current Thread | [Next in Thread] |