diff INSTALL @ 632:c2abadf31afb frontends_multi_profiles

browser side (menu): minor improvments: - use of new style class for MenuCmd and PluginMenuCmd (useless for pyjamas, but can be useful in the future) - use of try/except instead of hasattr - do not use "None" for WidgetMenuBar's __init__
author Goffi <goffi@goffi.org>
date Mon, 23 Feb 2015 18:43:08 +0100
parents 0924710b666a
children 47c21905e002
line wrap: on
line diff