UI: now mouse move sets UI.dirty = true
UI: fixed line width of selection outline
UI.redraw(): added "c" as an alias of this.ctx