Skip to main content
12 events
when toggle format what by license comment
Jul 6 at 1:53 comment added Jens Sorry, I had a typo: It's Panel, not Pane... Here's my corrected suggestion: Panel["ctrl", FrameMargins -> 0, BaselinePosition -> Baseline]. You can copy the output into your text.
Jul 5 at 15:58 history became hot network question
Jul 5 at 8:56 answer added Sjoerd Smit timeline score: 7
Jul 5 at 4:47 comment added Jens If you zoom in on the image in the question, you can see on the left of the frame that the gray background leaks out of the rounded frame. So I don't think it's worth trying to reproduce this janky help style exactly. What I usually do is simply use Pane["ctrl",FrameMargins->0] and similarly for the other key.
Jul 5 at 3:13 history edited ydd
edited tags
Jul 5 at 3:12 comment added ydd Still unable to figure this out but I have been able to tease out the TemplateBox commands have to look like TemplateBox[{ctrl, return}, Key1, BaseStyle -> "HowToText" ...] (if you type this into google minus the ellipses and search verbatim you will see this is how it's written in the documentation). I don't know where this BaseStyle comes from and I don't really have any experience with boxes, but maybe someone will see this who can help.
Jul 5 at 2:27 history edited xzczd CC BY-SA 4.0
edited title
Jul 5 at 2:17 history edited xzczd CC BY-SA 4.0
edited tags
Jul 4 at 7:33 answer added Alexei Boulbitch timeline score: 1
Jul 4 at 5:18 comment added ydd An imperfect method: $$ $$ commands = {{"ctrl", "/"}}; $$ $$ TextGrid[commands, Frame -> All, Background -> {{LightGray, White}}] $$ $$ This doesn't have the beveled edges. I'll update if I can find something better. One thing I noticed that may be helpful though: if you copy the key combination box and paste into a notebook, it pastes as` Key1[ctrl,/]` with red text. If you hover over this it says The TemplateBox was unable to use the specified display function, or it was unable to locate the display function possibly because style sheet is missing
S Jul 4 at 4:17 review First questions
Jul 4 at 9:20
S Jul 4 at 4:17 history asked nflswsykimi CC BY-SA 4.0