Lukasz Czekaj 19457ad2e8 Fixed negative height bug in htmlOutputView ...

After dragging the HTML Output window down below the bottom of the main
window it cannot be dragged back and negative height of HTML Output is
saved to file.

2012-08-26 17:48:47 +02:00

..

resources

Added Retina icons for bottom bar and file browser

2012-08-22 14:34:25 +02:00

src

Fixed negative height bug in htmlOutputView

2012-08-26 17:48:47 +02:00

target

Move user defaults keys to Keys.{mm,h}

2012-08-25 23:14:15 +02:00