<div><div>Hi,<br><br>I tried that too, but it didn't work (or maybe I just couldn't figure out the syntax -- hard to tell).<br>I'm really looking for a concrete cut-and-paste solution here. I know it's lazy but I'm hoping there is someone on the list who can churn it out in 2 minutes instead of me taking another day :(
<br><br>Thanks,<br>  Tamas<br> </div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi,<br>You specified Alt_R and Control_L?  You might need to make two new
<br>modifiers in symbols/, called LCtrl and RAlt.<br><br>Cheers,<br>Daniel<br></blockquote></div><br>