Editor changed

[vlevi]

In previous versions, when I used Ctrl+Backspace to delete a word, the last word was deleted. Now in SQL Developer (7.1.0.1337) the last word and a space before is deleted. I think it's not necessary to delete the space.

 

[Marco Kalter]

The editor is indeed different, so minor behavioral changes like this can occur. We'll look into this.

 

[vlevi]

I have found a big problem with the new editor. I realised, that when I save a program window, something happens with the file, maybe it goes to unicode, or UTF-8, I don't know. But why? Okay, I uses accended characters, because the hungarian language often uses

 

[Marco Kalter]

Can you send me such a Unicode source file?