Arduino: aplicar antialias al tipo de letra del editor

Recién instalado el editor de Arduino en Linux, se ve fatal el tipo de letra. He aquí un ejemplo (clic en la imagen para verlo correctamente):

Como vemos, falta el antialias. Es decir, se ve como pixelado. Se nota sobre todo en las llaves y paréntesis.

Para solucionarlo sólo tenemos que editar el archivo "preferences.txt", que es donde se guardan las preferencias de Arduino y editar una línea. Debemos cerrar el editor antes de modificar el archivo en cuestión. Este archivo se guarda en tu carpeta personal dentro de la carpeta ".arduino":

Lo abriremos con nuestro editor de texto favorito y cambiaremos la palabra false por true en la siguiente línea:

editor.antialias=false

Quedará así:

editor.antialias=true

Este es el listado de mi archivo una vez modificado:

board=uno
browser=mozilla
browser.linux=mozilla
console=true
console.auto_clear=true
console.error.file=stderr.txt
console.length=500
console.lines=4
console.output.file=stdout.txt
default.window.height=600
default.window.width=500
editor.antialias=true
editor.caret.blink=true
editor.divider.size=0
editor.divider.size.windows=2
editor.external=false
editor.font=Monospaced,plain,12
editor.font.macosx=Monaco,plain,10
editor.indent=true
editor.invalid=false
editor.keys.alternative_cut_copy_paste=true
editor.keys.alternative_cut_copy_paste.macosx=false
editor.keys.home_and_end_travel_far=false
editor.keys.home_and_end_travel_far.macosx=true
editor.keys.shift_backspace_is_delete=true
editor.languages.current=
editor.tabs.expand=true
editor.tabs.size=2
editor.window.height.default=600
editor.window.height.min=290
editor.window.width.default=500
editor.window.width.min=400
export.applet.separate_jar_files=false
export.application.fullscreen=false
export.application.platform=true
export.application.platform.linux=true
export.application.platform.macosx=true
export.application.platform.windows=true
export.application.stop=true
export.delete_target_folder=true
last.screen.height=1050
last.screen.width=1680
last.sketch.count=1
last.sketch0.location=640,275,500,600,432
last.sketch0.path=/home/tuUsuario/sketchbook/loquesea/loquesea.ino
launcher=gnome-open
platform.auto_file_type_associations=true
preproc.color_datatype=true
preproc.enhanced_casting=true
preproc.imports=java.applet,java.awt,java.awt.image,java.awt.event,java.io,java.net,java.text,java.util,java.util.zip,java.util.regex
preproc.imports.list=java.applet.*,java.awt.Dimension,java.awt.Frame,java.awt.event.MouseEvent,java.awt.event.KeyEvent,java.awt.event.FocusEvent,java.awt.Image,java.io.*,java.net.*,java.text.*,java.util.*,java.util.zip.*,java.util.regex.*
preproc.output_parse_tree=false
preproc.save_build_files=false
preproc.substitute_floats=true
preproc.substitute_unicode=true
preproc.web_colors=true
programmer=arduino:avrispmkii
run.display=1
run.options=
run.options.memory=false
run.options.memory.initial=64
run.options.memory.maximum=256
run.present.bgcolor=#666666
run.present.exclusive=false
run.present.exclusive.macosx=true
run.present.stop.color=#cccccc
run.window.bgcolor=#DFDFDF
serial.databits=8
serial.debug_rate=9600
serial.parity=N
serial.port=/dev/ttyUSB0
serial.stopbits=1
sketchbook.path=/home/tuUsuario/sketchbook
target=arduino
update.check=true
update.id=633756194266632833
update.last=1365258171128
upload.using=bootloader
upload.verify=true

Tras guardar los cambios, ya podremos abrir de nuevo nuestro editor, que lucirá mucho mejor (clic en la imagen para ver la diferencia):