textual term editor is now the default one

diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac
index d8221cd5112b16240278fd7d647d5d8b83fbee95..36bcc703f2ac23c07b053a662af9c619a9863666 100644 (file)
--- a/helm/ocaml/configure.ac
+++ b/helm/ocaml/configure.ac
@@ -13,7 +13,7 @@ fi
 AC_ARG_WITH(term-editor,
              AS_HELP_STRING([--with-term-editor=(tex|textual)],
                             [choose term editor (default is tex)]),
-             [TERM_EDITOR=$withval], [TERM_EDITOR=tex])
+             [TERM_EDITOR=$withval], [TERM_EDITOR=textual])
 if test $TERM_EDITOR = "tex"; then
   CHOSEN_TERM_EDITOR="include TexTermEditor"
 else