Fix Issue #24: setMargin() doesn't update current line highlight