-
Carlos Garcia Campos authored
Now that there's a toggle button in the toolbar, the find bar can be closed just by toggling the button.
a2d781fb
Now that there's a toggle button in the toolbar, the find bar can be closed just by toggling the button.