On Windows (Microsoft Edge), selecting entire query and press 'Delete' makes query text box go away
From @peterachten on October 4, 2018 9:30
On Windows 10, using Microsoft Edge, if you have entered a text in the query text box, and then select it from start to end (for instance by pressing 'Home' followed by 'Shift'+'End', and then press 'Delete' makes the entire text box go away. Refreshing the page makes it visible again.
This does not happen with Firefox nor Chrome.
Copied from original issue: clean-cloogle/Cloogle#16