Native menu enhancements: Refresh & Developer Tools items #122
Description
Use the existing code from phpdesktop. Also allow for some configuration of the
menu:
enable_menu - whether to enable context menu.
navigation - whether to show the "Back", "Forward" and "Reload" options.
print - whether to show the "Print..." option.
view_source - whether to show the "View source" option.
open_in_external_browser - whether to show the "Open page in external browser"
and "Open frame in external browser" options.
devtools - whether to show the "Show Developer Tools" option. See also the
"devtools_F12" option. You have to set the "remote_debugging_port" option for
the developer tools to be available.
Original issue reported on code.google.com by [email protected] on 9 Apr 2014 at 7:06