Open heribertolugo opened 4 years ago
The search options pop-up sometimes is shown after search has begun, if the main window is moved.
The search options pop-up sometimes is shown after search has begun, if the main window is moved.