tree 35eb6588b8007460092ae9cd8d6f18fef1dd9453
parent b26aaa7e4292f7201fdbade91a0e37752074f64a
author Benno Schulenberg <bensberg@justemail.net> 1461942225 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1461942225 +0200

browser: when nothing was found, restore the global search flags

Don't skip the end of the function: use break instead of return.