mirror of
https://github.com/textmate/textmate.git
synced 2026-01-22 13:17:55 -05:00
The menu contains two (non-selectable) “actions”. If we use a pop-up, we have to change the selection after the user select one of these actions, which isn’t the case with a pull-down menu.