From e4114f81443544973f12ba2c57ad643a6a3899e6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 13 Feb 2012 13:15:20 +0000 Subject: [PATCH] Add .prism as model file extension to GUI. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4619 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/model/GUIMultiModel.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/src/userinterface/model/GUIMultiModel.java b/prism/src/userinterface/model/GUIMultiModel.java index 9cd5cfbb..f40b84d1 100644 --- a/prism/src/userinterface/model/GUIMultiModel.java +++ b/prism/src/userinterface/model/GUIMultiModel.java @@ -1054,7 +1054,8 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener } modelFilters = new GUIPrismFileFilter[GM_ENABLED ? 3 : 2]; - modelFilters[FILTER_PRISM_MODEL] = new GUIPrismFileFilter("PRISM models (*.pm, *.nm, *.sm)"); + modelFilters[FILTER_PRISM_MODEL] = new GUIPrismFileFilter("PRISM models (*.prism, *.pm, *.nm, *.sm)"); + modelFilters[FILTER_PRISM_MODEL].addExtension("prism"); modelFilters[FILTER_PRISM_MODEL].addExtension("pm"); modelFilters[FILTER_PRISM_MODEL].addExtension("nm"); modelFilters[FILTER_PRISM_MODEL].addExtension("sm");