From 98ea279485fc456bbe4349559f9c08a24e2c4214 Mon Sep 17 00:00:00 2001 From: Stephen Blott Date: Sat, 23 Apr 2016 06:53:55 +0100 Subject: Show tip re. clicking command names. It's pretty undiscoverable that you can click command names to yank them. So, this adds a tip to the bottom of the help dialog. Also, change the cursor to a pointer when hovering over command names. --- pages/help_dialog.html | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'pages/help_dialog.html') diff --git a/pages/help_dialog.html b/pages/help_dialog.html index e16b0139..a0ba6de5 100644 --- a/pages/help_dialog.html +++ b/pages/help_dialog.html @@ -65,11 +65,23 @@ +
| + ++ | + Show advanced commands ++ |