Valaki ismeri az SQL Developer hasfájásait?

A következő történik: az sqlfile tabban (szóval ott, ahol interaktívan lehet kiadni parancsokat, vagy scripteket lehet firkálni, tehát a szövegszerkesztős részben) nem működik megfelelően a navigáció / billentyűk kezelése.

Konkrétan beírni valamit tudok, de pl. a backspace és del gomb nem működik, a Return gomb nem működik, a kurzor mozgatás jobbra-balra nem működik.

Mondanom sem kell, lehetetlen így dolgozni :-(

Egyszer volt már hasonló jelenség, akkor épp volt SQL developerből új verzió. Az újratelepítéssel a hibás működés megszűnt. Azóta eltelt kb. 1 hónap (kicsit több), és újra ez van.

Egyébként a billentyűzetet a program máshol jól kezeli, pl. a felső sarokban a keresőmezőben tudok törölni