Make highlight_current_line configurable