-
Jehan authored
Otherwise default values are not taken into account in interactive mode. In particular, we want ignore-hidden to be checked (TRUE) by default, because this is the most obvious behavior (WYSIWYG).
c08cf411
Otherwise default values are not taken into account in interactive mode. In particular, we want ignore-hidden to be checked (TRUE) by default, because this is the most obvious behavior (WYSIWYG).