New SQL editor is a vast improvement on the older one, many thanks.

One small buglet - view data for a table, select a row and choose Show SQL for CREATE - if the table has a multi-column
primary key the resulting SQL has the comma in the wrong place -

CREATE TABLE TMAP_DOMAINS (REGION_ID NUMBER NOT NULL, DOMAIN_NUMBER NUMBER NOT NULL, GEOMETRY STRUCT, PRIMARY KEY
(DOMAIN_NUMBERREGION_ID, ));

should be:
CREATE TABLE TMAP_DOMAINS (REGION_ID NUMBER NOT NULL, DOMAIN_NUMBER NUMBER NOT NULL, GEOMETRY STRUCT, PRIMARY KEY
(DOMAIN_NUMBER, REGION_ID));