Updates to history and ctags settings