Cambiar el tamaño de la fuente en el editor de Toad

Existe la posibilidad de cambiar el tamaño de la fuente en el editor de Toad pero la opción está un poco escondica. Importante conocerla para no volverse miko. A continuación el listado de pasos para conseguirlo:

1. Click derecho dentro del editor.
2. Opción "Editing Options..."
3. Con el lenguaje seleccionado (pl/sql o el que sea) pulsar en "Edit..."
4. Acceder a la pestaña "Highlighting"
5. Clic en "Custom Font".
6. Seleccionar tipo de fuente, tamaño, etc y aceptar.

Hecho!!