diff .dir-locals.el @ 14677:2fb96afd7b34 gui

Now only monospaced fonts are allowed for editor font. * SettingsDialog.ui: Changed property of font selection widget.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Wed, 23 May 2012 21:07:57 +0200
parents 7600200a54c8
children 9ff04de067ce
line wrap: on
line diff