[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add tool tip to the file name tabs
|
From: |
Torsten |
|
Subject: |
Re: Add tool tip to the file name tabs |
|
Date: |
Mon, 28 Jan 2013 19:23:27 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130106 Thunderbird/17.0.2 |
On 28.01.2013 01:52, Daniel J Sebald wrote:
> 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?7933
>
> that 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
good idea, thank you for the patch. Pushed with changeset
http://hg.savannah.gnu.org/hgweb/octave/rev/1eb3c67139f6
Torsten