Search notes:

SQL Developer: Tools -> Preferences -> Code Editor -> Fonts

The menu Tools -> Preferences -> Code Editor -> Fonts allows to change the font and its size for the Worksheet and the Query Result pane.
The chosen values are persistend under the user information directory in SystemV.W.X.Y.Z/o.sqldeveloper/product-preferences.xml.

Index