MezzoNZ / crunchy

Automatically exported from code.google.com/p/crunchy
0 stars 0 forks source link

New configuration option for "power browsers" #93

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
We should add a new configuration option to add an "address bar" at the top
of a page.  Users would have the choice to have a remote tutorial browser,
a local html file browser, a rst file browser or a .py file browser
inserted at the top, with the default being None.

This way, "power browsers" that use Crunchy could, from any page, enter a
url (or browse for a local file); this would be useful for demos as well -
instead of having to click to links to bring the "browsing" page in focus.

Original issue reported on code.google.com by andre.ro...@gmail.com on 23 Jan 2008 at 3:29

GoogleCodeExporter commented 8 years ago
Implemented; revision 570.

Original comment by andre.ro...@gmail.com on 24 Jan 2008 at 4:02