radicaled / dart-tools

Various tools for Dart in Atom
MIT License
23 stars 3 forks source link

change the sdk info and pub dialogs to modal dialogs #62

Closed devoncarew closed 9 years ago

devoncarew commented 9 years ago

This address an issue where we had several panels docked on the bottom with hidden contents. When hidden, the panels were 1 pixel high. This led to a really thick separator between the panel area and the editors.

before:

screen shot 2015-05-26 at 8 53 22 am

after:

screen shot 2015-05-26 at 5 55 39 am

devoncarew commented 9 years ago

merging -