Re: [Hol-info] deactivate newline-and-indent for sml-mode

2017-02-14 Thread Magnus Myreen
On 27 January 2017 at 09:12, Thomas Tuerk wrote: > Hello, > > many thanks. That does the trick and is much nicer than my hack. > > @Magnus Myreen: Do you think this is worth adding to the HOL Interaction > manual? Definitely! I've updated the HOL Interaction manual:

Re: [Hol-info] deactivate newline-and-indent for sml-mode

2017-01-27 Thread Heiko Becker
Hello, thanks for looking into this issue. It works perfectly fine now. On 01/26/2017 10:25 PM, Chun Tian (binghe) wrote: > I took a look into sml-mode.el and the documentation [1], it seems that the > following Emacs configuration could disable the auto-indent triggered by > return key: > >

Re: [Hol-info] deactivate newline-and-indent for sml-mode

2017-01-27 Thread Thomas Tuerk
Hello, many thanks. That does the trick and is much nicer than my hack. @Magnus Myreen: Do you think this is worth adding to the HOL Interaction manual? Thank you, Thomas Tuerk On 26.01.2017 22:25, Chun Tian (binghe) wrote: > I took a look into sml-mode.el and the documentation [1], it seems

Re: [Hol-info] deactivate newline-and-indent for sml-mode

2017-01-26 Thread Chun Tian (binghe)
I took a look into sml-mode.el and the documentation [1], it seems that the following Emacs configuration could disable the auto-indent triggered by return key: (defun my-sml-mode-hook () "Local defaults for SML mode" (setq electric-indent-chars '())) (add-hook 'sml-mode-hook

Re: [Hol-info] deactivate newline-and-indent for sml-mode

2017-01-26 Thread Heiko Becker
Hello, thanks for the replies, Magnus and Thomas. Unfortunately I am already using (electric-indent-mode -1) for SML mode, and it does not seem to fix the problem and I do not want to turn off auto-indent globally. I suspect that this may be due to me using the spacemacs configuration, so I

Re: [Hol-info] deactivate newline-and-indent for sml-mode

2017-01-26 Thread Thomas Tuerk
Hello Heiko, I have the same issue. I just deactivated electric indent mode. So, its not a proper solution, but for me it does the trick. (electric-indent-mode -1) Best Thomas Tuerk On 26.01.2017 09:43, Heiko Becker wrote: > Hello everyone, > > I am currently running into some technical