Line numbers right border in theme editor, new IDLE theme