<div dir="ltr">Is there a way to make agda-input available without loading the Agda itself.<div><br></div><div>I feel that the input mode is so generally useful that it ought to be stand-alone.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Apr 26, 2018 at 10:32 AM, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@cse.gu.se" target="_blank">nad@cse.gu.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 2018-04-26 10:28, Frederik Hanghøj Iversen wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I'd like to use the input method that agda-mode ships with in other<br>
major-modes. If I do `M-x set-input-method` Agda does not appear<br>
anywhere on the list. Only after I engage `M-x agda2-mode` (and then<br>
change back again) does it appear on the list.<br>
<br>
Can anyone more emacs-savvy than me explain why this is the case?<br>
</blockquote>
<br></span>
The Agda mode is typically not loaded when Emacs is started, but when an<br>
Agda file is opened, see agda2.el for implementation details.<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
/NAD<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div>Regards</div><div><i>Frederik Hanghøj Iversen</i></div></div>
</div>