Add .editorconfig and fix some indents

hhu-stups · Feb 1, 2019 · c7b9cfb · c7b9cfb
1 parent ae18369
commit c7b9cfb
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 6 deletions.
diff --git a/.editorconfig b/.editorconfig
@@ -0,0 +1,9 @@
+root = true
+
+[*]
+indent_style = tab
+insert_final_newline = true
+
+[*.yml]
+indent_style = space
+indent_size = 2
diff --git a/build.gradle b/build.gradle
@@ -51,7 +51,7 @@ mainClassName = "de.prob2.ui.ProB2"
 final preloaderClassName = "de.prob2.ui.ProB2Preloader"
 applicationDefaultJvmArgs += [
 	"-Djavafx.preloader=${preloaderClassName}".toString(),
-    "-Xss2M",
+	"-Xss2M",
 ]
 
 // Module export/open declarations for Java 9+

diff --git a/src/main/resources/de/prob2/ui/prob2.properties b/src/main/resources/de/prob2/ui/prob2.properties
@@ -521,11 +521,11 @@ verifications.modelchecking.modelcheckingView.contextMenu.showDetails
 verifications.modelchecking.modelcheckingView.contextMenu.showTraceToError                           = Show Error State
 verifications.modelchecking.modelcheckingView.noModelcheckingJobs                                    = No Model Checking Jobs
 verifications.modelchecking.modelcheckingView.tooltips.addModelCheck                                 = Add new Model Checking Job
-verifications.modelchecking.modelcheckingView.column.deadlocks										 = DL
-verifications.modelchecking.modelcheckingView.column.invariants										 = IV
-verifications.modelchecking.modelcheckingView.column.assertions										 = AS
-verifications.modelchecking.modelcheckingView.column.goals  										 = GL
-verifications.modelchecking.modelcheckingView.column.stopFullCoverage  								 = SFC
+verifications.modelchecking.modelcheckingView.column.deadlocks                                       = DL
+verifications.modelchecking.modelcheckingView.column.invariants                                      = IV
+verifications.modelchecking.modelcheckingView.column.assertions                                      = AS
+verifications.modelchecking.modelcheckingView.column.goals                                           = GL
+verifications.modelchecking.modelcheckingView.column.stopFullCoverage                                = SFC
 verifications.result.couldNotParsePattern.header                                                     = Could not parse pattern
 verifications.result.counterExampleFound.header                                                      = Counter Example found
 verifications.result.counterExampleFound.message                                                     = %s Counter Example has been found