<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Thank you very much.</p>
<p>But it does not work I get :</p>
<p>option parsing failed: Unknown option
--hotkeys=release-cursor=ctrl+alt</p>
<p>Moreover,I find nowhere a :</p>
<p>man spicy</p>
<p>!!!</p>
<p>Thanks again</p>
<p><br>
</p>
<p><br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">Le 1/3/23 à 09:06, Xiaodai Wang a
écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAMVti-_3iqZqpu=qbq=z+pfSZAEQPmAStFFUMRRseqJn_=UFWg@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div class="gmail_default" style="font-size:small">'--hotkeys'
could do that. You may see the man page for the usage.</div>
<div class="gmail_default" style="font-size:small"><br>
</div>
<div class="gmail_default" style="font-size:small">e.g.</div>
<div class="gmail_default" style="font-size:small">--hotkeys=release-cursor=ctrl+alt<br>
</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Wed, Dec 28, 2022 at 5:11
PM Pierre Couderc <<a href="mailto:pierre@couderc.eu"
moz-do-not-send="true" class="moz-txt-link-freetext">pierre@couderc.eu</a>>
wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Is
is possible ? how ?<br>
<br>
Thanks for any help.<br>
<br>
PC<br>
<br>
</blockquote>
</div>
</blockquote>
</body>
</html>