octave-patch-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-patch-tracker] [patch #7933] Add tool tip to the file name tabs

From: Torsten
Subject: [Octave-patch-tracker] [patch #7933] Add tool tip to the file name tabs
Date: Mon, 28 Jan 2013 18:15:33 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:18.0) Gecko/20100101 Firefox/18.0 
Update of patch #7933 (project octave):

                  Status:                    None => Done                   
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #1:

Thank you for the patch, pushed with changeset 
http://hg.savannah.gnu.org/hgweb/octave/rev/1eb3c67139f6



    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?7933>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]