diff options
author | lovetox <philipp@hoerist.com> | 2020-04-28 16:40:06 +0300 |
---|---|---|
committer | lovetox <philipp@hoerist.com> | 2020-04-29 21:56:49 +0300 |
commit | 1c292321f526d3f835a73fff219149c1bd4890e8 (patch) | |
tree | 76614bd18f91ead8dc58a8eb2d868423c25bd5a1 /launch-history-manager.py | |
parent | 4e7233367a5cda7a0f40b5e2a3d7a39d83fafe12 (diff) |
Make more consistent menu labels
- Use Header capitalization https://developer.gnome.org/hig/stable/writing-style.html.en#capitalization
- Use ellipsis whenever an action needs more user input
Diffstat (limited to 'launch-history-manager.py')
-rwxr-xr-x[-rw-r--r--] | launch-history-manager.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/launch-history-manager.py b/launch-history-manager.py index 28c314d0f..28c314d0f 100644..100755 --- a/launch-history-manager.py +++ b/launch-history-manager.py |