Closed
Bug 616522
Opened 14 years ago
Closed 14 years ago
Make an exception for {key +}
Categories
(support.mozilla.org :: Knowledge Base Software, task)
Tracking
(Not tracked)
RESOLVED
WONTFIX
People
(Reporter: cww, Unassigned)
Details
I love the new {key Ctrl+K} syntax. But if we want the + key (as in zoom) we get stuck with some broken markup no matter how we write it. Obviously {key Ctrl + +} would be awesome but I think if we just have an exception for {key +}, we could express anything even if it means {key Ctrl} + {key +} and it's a more logical workaround.
Comment 1•14 years ago
|
||
What if we space-delimited them instead? I'm not sure that's an option but then + would work like anything else.
Comment 2•14 years ago
|
||
What about this solution: {key <no wiki>+</no wiki>}? I didn't test it but I think it could work.
Comment 3•14 years ago
|
||
(In reply to comment #2) > What about this solution: {key <no wiki>+</no wiki>}? > I didn't test it but I think it could work. That's unlikely to work off the bat. Our custom extensions to MediaWiki syntax (like {key }) don't obey the <nowiki> tag. On the other hand, {key +} should work. (In reply to comment #1) > What if we space-delimited them instead? I'm not sure that's an option but then > + would work like anything else. If I actually think this through it's a terrible idea, since we'd be breaking everything that uses it now.
Comment 4•14 years ago
|
||
(In reply to comment #3) > (In reply to comment #2) > > What about this solution: {key <no wiki>+</no wiki>}? > > I didn't test it but I think it could work. > > That's unlikely to work off the bat. Our custom extensions to MediaWiki syntax > (like {key }) don't obey the <nowiki> tag. > > On the other hand, {key +} should work. That looks like a perfectly reasonable workaround for this. Can anyone confirm if this works?
Comment 5•14 years ago
|
||
Just tested it on master and {key Ctrl++} works as expected, i.e.: well.
Comment 6•14 years ago
|
||
Then I suggest WONTFIXing this. Cheng, any objections?
Yeah, I guess... I'm sad about having to go through all 40 keyboard shortcuts articles and fixing this though.
Comment 8•14 years ago
|
||
Any way we can script that update instead? Seems faster...
Comment 9•14 years ago
|
||
(In reply to comment #8) > Any way we can script that update instead? Seems faster... I'd rather take the time we'd spend writing, testing, and deploying that fix and just help change it.
Comment 10•14 years ago
|
||
Just talked with Cheng and with him+localizers+a little extra help we'll just make the changes by hand.
Status: NEW → RESOLVED
Closed: 14 years ago
Resolution: --- → WONTFIX
You need to log in
before you can comment on or make changes to this bug.
Description
•