|
From: | Dan Sebald |
Subject: | [Octave-patch-tracker] [patch #7933] Add tool tip to the file name tabs |
Date: | Mon, 28 Jan 2013 00:47:30 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:18.0) Gecko/20100101 Firefox/18.0 SeaMonkey/2.15 |
URL: <http://savannah.gnu.org/patch/?7933> Summary: Add tool tip to the file name tabs Project: GNU Octave Submitted by: sebald Submitted on: Mon 28 Jan 2013 12:47:30 AM GMT Category: None Priority: 5 - Normal Status: None Privacy: Public Assigned to: None Originator Email: Open/Closed: Open Discussion Lock: Any _______________________________________________________ Details: The attached small patch will add a tool tip to the file name tabs if the displayed file names are not full length. The tool tip that pops up will be the full-length file name. _______________________________________________________ File Attachments: ------------------------------------------------------- Date: Mon 28 Jan 2013 12:47:30 AM GMT Name: octave-tabtooltip-2013jan27.patch Size: 4kB By: sebald <http://savannah.gnu.org/patch/download.php?file_id=27334> _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/patch/?7933> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |