]> gerrit.simantics Code Review - simantics/platform.git/commit
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)
commit29bf3f64e43ed153670dfeee6dd4b553d1543016
tree93d7d847494ffed4c670436e8dd3b4cc4917d417
parent1653df0843d89e68b8e476bda2133e781a667c04
Change editor font in UI and update on editor reload.

gitlab #390

Change-Id: Ieae1ceb208a3e401f122725eda5693e1e4aeb5b5
bundles/org.simantics.scl.ui/plugin.xml
bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/editor2/SCLPresentationReconciler.java