diff CITATION @ 18657:5fb180e37d7c stable

force integer font metric in gui terminal (partial fix of bug #37187) * TerminalView.cpp (setVTFont): force integer metric
author Torsten <ttl@justmail.de>
date Fri, 18 Apr 2014 14:21:33 +0200
parents 3a93af21d206
children a6d13c62fccf
line wrap: on
line diff