bugfixes

fixed bug in checker when a variable has the same name with the
algorithm, bug in editor when selection gets lost after a tab command.