From ef170f3627039c9732c461b83c4b0b8317bd40a2 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 12 Nov 2014 11:11:06 +0100 Subject: [PATCH] Minor editor tweaks --- .../jetbrains.mps.logic/languageModels/editor.mps | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/languages/jetbrains.mps.logic/languageModels/editor.mps b/languages/jetbrains.mps.logic/languageModels/editor.mps index a5e71d65..edbec9a7 100644 --- a/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -26,12 +26,19 @@ - + + + + + + + + @@ -338,13 +345,13 @@ - + - +