[Gretl-devel] tabbed editor: good news/bad news

Well, the bad news first: I tried a different approach to the GTK mechanism in the background when you switch editor tabs, but apparently this has not helped on Windows: the execute button doesn't work and deleting a tab makes the toolbar go away. I'll have to look into that further. (The new variant works fine on GTK 2.24/Linux -- I'd be interested to hear if it works on Ubuntu 10.04, where Ignacio said it was not working before.) The good news (refinements): * You now get "*" next to the filename in an editor tab to indicate unsaved changes. * Ctrl+T opens a new tab (as, of course, does the "New" icon button). * Ctrl+> ("greater") moves one tab to the right, and Ctrl+< moves left. (These keystrokes may be subject to change, but I couldn't get Ctrl+PgUp/PgDn to work, and Alt plus a number key seems a terribly awkward key combination). * If there's more than one tab open, the right-click popup lets you "undock" a script to a window of its own. (You can't go the other way.) Allin