From ff3178f98c060769dd243efbaab7c3d40f2f7355 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 18 Sep 2014 14:40:56 +0200 Subject: [PATCH] Minor improvements in the editor --- .../languageModels/editor.mps | 230 ++++++++++++------ 1 file changed, 150 insertions(+), 80 deletions(-) diff --git a/languages/jetbrains.mps.jchr/languageModels/editor.mps b/languages/jetbrains.mps.jchr/languageModels/editor.mps index f9f89cc5..3a684e79 100644 --- a/languages/jetbrains.mps.jchr/languageModels/editor.mps +++ b/languages/jetbrains.mps.jchr/languageModels/editor.mps @@ -103,6 +103,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -145,42 +173,51 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + - + + + + + + + + + + - - - - @@ -196,46 +233,56 @@ + - - + + - - + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + - - - - + + + + @@ -265,42 +312,51 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + - + + + + + + + + + + - - - - @@ -458,6 +514,20 @@ + + + + + + + + + + + + + +