From c0c8e686b8aab6d8f7ec587eced498a99617d033 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 18 Jul 2018 18:18:56 +0100
Subject: [PATCH] GUI: Switch to Properties tab on creation of new properties
 file.

---
 prism/src/userinterface/properties/GUIMultiProperties.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 0c2e15e4..7c8d44f1 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -732,6 +732,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 		propList.deleteAll();
 		consTable.newList();
 		labTable.newList();
+		tabToFront();
 		setModified(false);
 		setActiveFile(null);
 		doEnables();