dart-lang/spark — pull request #1105 by devoncarew (2014-02-19 00:18:01+00:00)
Title: ui changes to the properties dialog

Some tweaks to the Properties dialog:

- renamed to `Properties...`, so it can be made a bit more generic in the future
- re-ordered the context menu items, to clean that menu up a bit
- used some bootstrap css to make the dialog look closer to the rest of the ones in Spark
- used a future to delay showing the dialog until its information is fully populated

@sunglim

![screen shot 2014-02-18 at 4 15 09 pm](https://f.cloud.github.com/assets/1269969/2202119/492c050c-98fb-11e3-8e53-0b7925c5b3ff.png)