Fix #3 make .localhistory hidden
Fix #2 Local History colors wrong with blue color theme