Add ignore/smartcase, enter for save mapping and jlint