Guillermo Rauch
|
79eb6e9dff
|
menu: add option to force update all plugins
|
2016-07-13 19:07:17 -07:00 |
|
Guillermo Rauch
|
477e40e433
|
refactor
|
2016-07-13 13:45:14 -07:00 |
|
Guillermo Rauch
|
c97b67b4c8
|
menu: implement plugin updating in menu
|
2016-07-07 16:23:23 -07:00 |
|
Guillermo Rauch
|
d3322090a1
|
add support for editing preferences with cmd+, (#52)
|
2016-07-07 06:31:03 -07:00 |
|
Guillermo Rauch
|
0a7e447c2a
|
menu: fix authorship
|
2016-07-05 13:43:49 -07:00 |
|
Guillermo Rauch
|
fb08d45eac
|
lint
|
2016-07-04 19:55:35 -07:00 |
|
Guillermo Rauch
|
804b97bf14
|
menu: make Window more standard (#38)
|
2016-07-04 19:49:35 -07:00 |
|
Guillermo Rauch
|
a7a95b3312
|
revamp the menu to be a lot more standard (#38)
thanks @sindresorhus for the inspiration
|
2016-07-04 19:46:30 -07:00 |
|