[Gretl-devel] tabbed editor update
1) This should now work on Windows, and with older versions of
GTK in general. CVS and snapshots updated.
2) A couple more tweaks: Alt+<number> navigates the tabs, and
if the editor contains more than one tab you can drag a tab
onto the root window to "undock" it.
Allin