comparison bootstrap.conf @ 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 a4bc3ad4c703
children ff4da3c8ed16
comparison
equal deleted inserted replaced
18636:60562e5c8bfb 18657:5fb180e37d7c