Mike Miller <[EMAIL PROTECTED]> wrote Fri, Jul 07, 2006: > Hi, Hi Mike,
> If the developers read this list, I wanted to say thanks! This lazy developer does. > To my surprise my enhancement bugs were addressed in the newest > version (0.12.GIT). The new options are: > > ui.tabs.top > ui.show_menu_bar_always Thanks for the feedback and of course thanks to Witold for implementing this back in May. :) -- Jonas Fonseca _______________________________________________ elinks-users mailing list [email protected] http://linuxfromscratch.org/mailman/listinfo/elinks-users
