search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

Line-wrapping in comments #15

Closed msprotz closed 9 years ago

msprotz commented 9 years ago

I turn on auto-fill so that my comments wrap after a while. However, in the fstar-mode, every time auto-fill wraps into a new line, I get:

(* foo ... long line
  (* ⬚

Where ⬚ is the position of the cursor. Notice 1) the extra indentation and 2) the undesired (*.

Desired behavior: either

(* foo ... long line
 * ⬚

or

(* foo ... long line
   ⬚

Thanks,

Jonathan

cpitclaudel commented 9 years ago

I've pushed a tentative fix for this. It should be on MELPA in a few hours; let me know if it works!

msprotz commented 9 years ago

Yes it does. Thanks!