Skip to content
Snippets Groups Projects
Commit 8af77fa7 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

Update invariant ok message (invariants ok) 


Signed-off-by: default avatarMichael Leuschel <leuschel@cs.uni-duesseldorf.de>
parent bf8c2839
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
+ 3
− 3
View file @ 8af77fa7
signalInvariantTooltip=This area signals whether the invariant is violated or not signalInvariantTooltip=This area signals whether the invariants are true or not
signalInvariantGood=invariant ok signalInvariantGood=invariants ok
signalInvariantBad=invariant violated! signalInvariantBad=invariant violated!
signalEventerrorTooltip=This area signals if an error occurred in an event signalEventerrorTooltip=This area signals if an error occurred in an event
signalEventerrorGood=no event errors detected signalEventerrorGood=no event errors detected
signalEventerrorBad=event errors detected! signalEventerrorBad=event error(s) detected!
signalModelmodifiedTooltip=This area signals whether the model has been changed. Doubleclick to reload it signalModelmodifiedTooltip=This area signals whether the model has been changed. Doubleclick to reload it
signalModelmodifiedBad=The model was modified! signalModelmodifiedBad=The model was modified!
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment