tree 4664f39fd771214b5ec1235f4f3e0f056a1219e1
parent 7a274d621a3bb1e7f6a8601c47b556e0891993d1
author Benno Schulenberg <bensberg@justemail.net> 1476544731 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1476544731 +0200

binding: fix some duplicated carets and too restrictive menus