Am 30.06.2011 23:58, schrieb simendsjo: > On 30.06.2011 23:45, Daniel Gibson wrote: >> Am 30.06.2011 23:41, schrieb simendsjo: >>> On 30.06.2011 23:39, bearophile wrote: >>>> Jonathan M Davis: >>>> >>>>> Actually, I find the backticks to be by far the most pleasant way to >>>>> get raw >>>>> strings in D. >>>> >>>> I don't have backticks on my keyboard, so I use them only when they >>>> are needed. They have even removed the backticks in the Python2 -> >>>> Python3 transition partially because of this (and partially because >>>> there is a more obvious way to do it in Python, and Python tries to >>>> keep only one obvious way to do things). >>>> >>>> Bye, >>>> bearophile >>> >>> Yeah, I hate backticks too.. I have to press Shift+` followed by space. >>> But often space won't work as the text editor understands that space >>> cannot be accented or something. So I often press ` twice and backspace >>> to delete the last one. This gives me 4 key presses just for a single >>> character... Wee... >> >> On Linux/X11 this could be fixed by disabling "dead keys" (at least as >> long as you don't need them to place accents on letters, which depends >> on the languages you're writing in). >> Dunno what the equivalent to this setting for Windows or OSX is though. >> >> Cheers, >> - Daniel > > I need it for my language, but very rarely, so I wouldn't miss it much. > I haven't heard of this before, but I'll try to search around for > solutions for windows. > Thanks for the tip.
Maybe there is a solution to enable and disable them with a keyboard shortcut. I guess this is not only a problem for backticks but also for ~ and ^ (which may be more useful for everyday programming), so a way to disable/enable dead keys on the fly is probably really useful. Cheers, - Daniel
