|
From: | John W. Eaton |
Subject: | Restoring default window configuration |
Date: | Mon, 29 Apr 2013 17:41:24 -0400 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:10.0.11) Gecko/20121122 Icedove/10.0.11 |
My attempt is here: http://hg.savannah.gnu.org/hgweb/octave/rev/e13051d7a472Does this look like a reasonable solution, or is there some better way to do it?
jwe
[Prev in Thread] | Current Thread | [Next in Thread] |