From 18b7e7814916c2c681f5deb10eea1435271fb727 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Tue, 23 Jan 2007 10:47:22 +0000
Subject: [PATCH] Made cumulative time visible by default in SimulationView for
 CTMCs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@215 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulator.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 11833a3a..4856c274 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -2608,7 +2608,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 				{
 					stepsVisible = true;
 					showTime = parsedModel.getType() == ModulesFile.STOCHASTIC;
-					showCumulativeTime = false;
+					showCumulativeTime = parsedModel.getType() == ModulesFile.STOCHASTIC;;
 					
 					for (int i = 0; i < engine.getNumVariables(); i++)
 					{