Colomban Wendling 9652a34ef0 Add ellipsis to menu items requiring further user input
This is a very common paradigm used by GNOME, KDE, MacOSX, Windows,
etc., and following it makes our UI more consistent with these and
easier to use by their users.

https://developer.gnome.org/hig-book/stable/menus-design.html.en#menu-item-type-command

Closes #3613494.
2013-05-19 23:15:38 +02:00
..
2009-02-27 14:06:21 +00:00
2013-01-17 15:43:24 +11:00
2012-09-30 11:13:43 -07:00
2013-02-01 16:06:32 +01:00
2012-08-24 23:26:11 +02:00
2011-10-23 13:44:52 -07:00
2011-11-13 01:05:24 +01:00
2012-06-30 01:54:08 +02:00
2012-10-25 17:09:55 +02:00
2011-10-23 13:44:52 -07:00
2013-03-16 14:14:41 +00:00
2012-06-30 01:54:08 +02:00
2012-02-20 17:25:21 +01:00
2012-09-12 19:30:56 +02:00