From: Alpi Rimppi <alpi.rimppi@semantum.fi>
Date: Thu, 26 Sep 2019 08:26:55 +0000 (+0300)
Subject: Change editor font in UI and update on editor reload.
X-Git-Tag: v1.43.0~136^2~64
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=29bf3f64e43ed153670dfeee6dd4b553d1543016;hp=29bf3f64e43ed153670dfeee6dd4b553d1543016

Change editor font in UI and update on editor reload.

gitlab #390

Change-Id: Ieae1ceb208a3e401f122725eda5693e1e4aeb5b5
---