From 2ffbf1f661c8799d1ab595b4f326139bd8b2eebe Mon Sep 17 00:00:00 2001 From: Rafael Irgolic Date: Tue, 2 Feb 2021 20:33:14 +0000 Subject: [PATCH] owpythonscript: Set DejaVu Sans Mono font on linux --- Orange/widgets/data/owpythonscript.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Orange/widgets/data/owpythonscript.py b/Orange/widgets/data/owpythonscript.py index 3e3f2bd2737..50cecd3c0a8 100644 --- a/Orange/widgets/data/owpythonscript.py +++ b/Orange/widgets/data/owpythonscript.py @@ -598,8 +598,11 @@ def __init__(self): # Styling - self.defaultFont = defaultFont = \ - "Menlo" if sys.platform == "darwin" else "Courier" + self.defaultFont = defaultFont = ( + 'Menlo' if sys.platform == 'darwin' else + 'Courier' if sys.platform in ['win32', 'cygwin'] else + 'DejaVu Sans Mono' + ) self.defaultFontSize = defaultFontSize = 13 self.editorBox = gui.vBox(self, box=True)