-
Tobias Zeumer authored
Don't always switch to ground floor when highlighting even though there are matches at currently displayed level; resolves #53
d5c4c358
Don't always switch to ground floor when highlighting even though there are matches at currently displayed level; resolves #53