the Ctrl+F search works great
in the regular editor
but when i try to launch it
within the document notes pane
(which i like to use very much)
the CTRL+F search does not work
but all of its buttons are greyed out
i hope you make this available
for the Documents Notes too
since even the global search /project search
is not useful for searching document notes
because its search highlights do NOT extend into
the document notes unfortunately.
i could live without the CTRL+F
if you would only make the search highlights
extend into the document notes as-well.