From ed298de42c0f1491c75decaf1968aa912b9d09c2 Mon Sep 17 00:00:00 2001 From: fdodino Date: Wed, 20 Jul 2016 14:37:22 -0300 Subject: [PATCH] Back to Courier in RTF --- .../project/wollok/ui/console/editor/rtf/WollokRTFWriter.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.uqbar.project.wollok.ui.launch/src/org/uqbar/project/wollok/ui/console/editor/rtf/WollokRTFWriter.xtend b/org.uqbar.project.wollok.ui.launch/src/org/uqbar/project/wollok/ui/console/editor/rtf/WollokRTFWriter.xtend index 0526e44b21..6bd6436cdc 100644 --- a/org.uqbar.project.wollok.ui.launch/src/org/uqbar/project/wollok/ui/console/editor/rtf/WollokRTFWriter.xtend +++ b/org.uqbar.project.wollok.ui.launch/src/org/uqbar/project/wollok/ui/console/editor/rtf/WollokRTFWriter.xtend @@ -34,7 +34,7 @@ class WollokRTFWriter { wollokRTFColorMatcher.colorTable + ''' } - {\fonttbl {\f0 \fmodern Consolas;}} + {\fonttbl {\f0 \fmodern Courier;}} \f0 \b \cf1