Allan Odgaard 03cf1fefb0 Make HTML output window a panel ...

This allows the main (document) window to handle menu keys (which are not handled by the HTML output window controller).

2013-01-08 22:48:08 +01:00

..

src

Make HTML output window a panel

2013-01-08 22:48:08 +01:00

target

Enable ARC by default

2012-12-19 19:42:36 +01:00