Bug #129 is no longer reproducible + fixing #115 by improved highlighting after deletion.
Bug #129 is no longer reproducible + fixing #115 by improved highlighting after deletion.

dvorka/hstr,dvorka/hstr,dvorka/hstr,dragon788/hstr,tbabej/hstr,dragon788/hstr,jlec/hstr,jlec/hstr,dvorka/hstr,dvorka/hstr,tbabej/hstr