Pressing space sometimes inserts two spaces

[nikkiwd]

An example that I can reproduce in multiple Chrome-based browsers:

• Open https://qlever.cs.uni-freiburg.de/wikidata/ugfCPp
• Position the cursor at the end of the query
• Press space

[hannahbast]

@nikkiwd Similar comment as for #57. If the SELECT is in uppercase and there is a WHERE (omitted in your query), this does not occur. Again: it's a bug, but while it's there, it can easily be avoided.