|
From: Vesa K. <ve...@ml...> - 2006-12-29 09:52:12
|
Use the new option -show anns to get annotations. ---------------------------------------------------------------------- U mlton/trunk/ide/emacs/esml-mlb-mode.el ---------------------------------------------------------------------- Modified: mlton/trunk/ide/emacs/esml-mlb-mode.el =================================================================== --- mlton/trunk/ide/emacs/esml-mlb-mode.el 2006-12-29 11:14:05 UTC (rev 5006) +++ mlton/trunk/ide/emacs/esml-mlb-mode.el 2006-12-29 17:52:05 UTC (rev 5007) @@ -135,7 +135,7 @@ :group 'esml-mlb) (defcustom esml-mlb-show-annotations-command - "mlton -expert true -show-anns true" + "mlton -expert true -show anns" "Shell command used to determine the annotations accepted by a compiler." :type 'string :set 'esml-mlb-set-custom-and-update |