]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Change editor font in UI and update on editor reload. 83/3283/2
authorAlpi Rimppi <alpi.rimppi@semantum.fi>
Thu, 26 Sep 2019 08:26:55 +0000 (11:26 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 26 Sep 2019 12:03:20 +0000 (12:03 +0000)
gitlab #390

Change-Id: Ieae1ceb208a3e401f122725eda5693e1e4aeb5b5


No differences found