Leo Lamprecht
fa4033937e
Bring focus to main window when clicking preferences ( #235 )
2016-07-18 09:44:33 -07:00
Akash Nimare
ec4483cb7f
Icon typo fixed in about dialog ( #146 )
...
Icon.png does not exist here.
2016-07-16 18:26:32 -07:00
Sindre Sorhus
c3f41daefa
menu improvements ( #185 )
...
- Add missing separator after `About`.
- Use `role` instead of deprecated `selector` for menu items
- Add `undo` and `redo` menu items. Both Terminal and iTerm have these.
- Remove indent of the report issue template. The indent ended up in the issue body, which looks weird.
- Add separator after `New Tab`. This is how iTerm does it.
2016-07-16 18:20:52 -07:00
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