01: /*
02: * EditorExitRequested.java - Message sent before jEdit starts exiting
03: * Copyright (C) 2000 Dirk Moebius
04: *
05: * This program is free software; you can redistribute it and/or
06: * modify it under the terms of the GNU General Public License
07: * as published by the Free Software Foundation; either version 2
08: * of the License, or any later version.
09: *
10: * This program is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13: * GNU General Public License for more details.
14: *
15: * You should have received a copy of the GNU General Public License
16: * along with this program; if not, write to the Free Software
17: * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
18: */
19:
20: package org.gjt.sp.jedit.msg;
21:
22: import org.gjt.sp.jedit.EBMessage;
23: import org.gjt.sp.jedit.View;
24:
25: /**
26: * Message sent when jEdit starts the exit process. It is send before
27: * the settings are saved and the buffers are closed. Listeners of this
28: * message should be aware that jEdit might not exit truely, maybe because
29: * of errors, or the user cancelled the "Save unsaved changed" dialog, or
30: * jEdit is in background mode.
31: *
32: * @author Dirk Moebius
33: * @version $Id: EditorExitRequested.java 9920 2007-07-03 21:14:47Z kpouer $
34: *
35: * @since jEdit 3.1pre4
36: */
37: public class EditorExitRequested extends EBMessage {
38: private boolean hasBeenExitCancelled;
39:
40: /**
41: * Creates a new editor exiting started message.
42: * @param view The view from which this exit was called
43: */
44: public EditorExitRequested(View view) {
45: super (view);
46: }
47:
48: /**
49: * Returns the view involved.
50: */
51: public View getView() {
52: return (View) getSource();
53: }
54:
55: /**
56: * Cancels the exit process. If a plugin calls this method, jEdit will not
57: * exit anymore
58: */
59: public void cancelExit() {
60: hasBeenExitCancelled = true;
61: }
62:
63: /**
64: * Check if the exit process has been cancelled.
65: */
66: public boolean hasBeenExitCancelled() {
67: return hasBeenExitCancelled;
68: }
69: }
|