-
Martin Urban authored
File: Remove CTRL+F bug leading to the effect that navigation was impossible. Implementation of a filter function (ctrl/meta+f)
0d7887cb
File: Remove CTRL+F bug leading to the effect that navigation was impossible. Implementation of a filter function (ctrl/meta+f)