From 1c292321f526d3f835a73fff219149c1bd4890e8 Mon Sep 17 00:00:00 2001 From: lovetox Date: Tue, 28 Apr 2020 15:40:06 +0200 Subject: 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 --- launch-history-manager.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 launch-history-manager.py (limited to 'launch-history-manager.py') diff --git a/launch-history-manager.py b/launch-history-manager.py old mode 100644 new mode 100755 -- cgit v1.2.3