Stefan Haller
7f9818cfa2
Add DisabledReason field to MenuItem
...
This is useful to disable items that are not applicable right now because of
some condition (e.g. the "delete branch" menu item when the currently
checked-out branch is selected).
When a DisabledReason is set on a menu item, we
- show it in a tooltip (below the regular tooltip of the item, if it has one)
- strike through the item's key, if it has one
- show an error message with the DisabledReason if the user tries to invoke the
command
2023-09-18 10:15:11 +02:00
..
2023-09-18 10:15:11 +02:00
2023-04-30 13:19:52 +10:00
2023-04-30 13:19:52 +10:00
2023-09-12 19:06:08 +02:00
2023-07-29 14:44:00 +02:00
2023-09-09 17:34:57 +10:00
2023-04-30 13:19:53 +10:00
2023-08-21 10:03:34 +02:00
2023-08-21 10:03:34 +02:00
2023-09-04 17:50:49 +02:00
2023-04-30 13:19:53 +10:00
2023-05-25 23:52:19 +10:00
2023-09-05 13:55:30 +02:00
2023-07-30 18:51:23 +10:00
2023-07-26 14:27:18 +02:00
2023-06-28 18:54:21 +06:00
2023-09-04 17:50:49 +02:00
2023-08-25 08:50:05 -05:00
2023-07-03 12:54:13 +10:00
2023-05-25 23:52:19 +10:00
2023-05-25 23:52:19 +10:00
2023-05-25 23:52:19 +10:00
2023-04-30 13:19:53 +10:00
2023-08-29 08:04:47 +02:00
2023-09-09 07:18:47 -05:00
2023-09-18 10:15:11 +02:00
2023-07-31 19:42:41 -04:00
2023-08-29 08:04:47 +02:00
2023-05-25 23:52:19 +10:00
2023-08-21 08:10:28 +02:00
2023-07-30 18:35:23 +10:00
2023-09-04 17:50:49 +02:00
2023-08-10 17:39:26 +10:00
2023-09-09 09:45:08 +02:00
2023-04-30 13:19:53 +10:00
2023-08-21 08:10:28 +02:00
2023-08-21 09:03:45 +02:00
2023-07-03 12:54:13 +10:00
2023-07-03 12:54:13 +10:00
2023-04-30 13:19:53 +10:00
2023-04-30 13:19:53 +10:00
2023-06-26 08:19:58 +02:00
2023-09-04 17:50:49 +02:00
2023-07-30 18:51:23 +10:00
2023-09-04 17:50:49 +02:00
2023-09-04 17:50:49 +02:00
2023-04-30 13:19:53 +10:00
2023-09-09 09:45:08 +02:00
2023-08-29 08:16:40 +02:00
2023-07-31 11:38:52 +02:00
2023-08-10 17:39:26 +10:00
2023-09-04 17:50:49 +02:00
2022-04-02 17:04:42 +11:00
2023-07-10 15:09:17 +02:00
2023-04-30 13:19:53 +10:00
2023-08-08 22:01:43 +10:00
2023-07-30 18:35:22 +10:00
2023-07-30 18:35:24 +10:00