/jEdit/branches/4.4.x-merge-request-for-r19197/org/gjt/sp/jedit/msg/BufferChanging.java
# · Java · 66 lines · 23 code · 6 blank · 37 comment · 2 complexity · 59aa4445643e74f5d277a61b253ca391 MD5 · raw file
- /*
- * BufferChanging.java - Buffer changing (specialized Edit Pane update message)
- * :tabSize=8:indentSize=8:noTabs=false:
- * :folding=explicit:collapseFolds=1:
- *
- * Copyright (C) 2006 Alan Ezust
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
- */
-
- package org.gjt.sp.jedit.msg;
- import java.util.Arrays;
- import org.gjt.sp.jedit.Buffer;
- import org.gjt.sp.jedit.EditPane;
- import org.gjt.sp.util.Log;
- /** An EBMessage sent by the EditPane just before the buffer changes.
- *
- * jEdit core emits this whenever the EditPane's buffer changes.
- *
- * Known plugins to be using this: BufferLocal, Navigator.
- *
- * @since jEdit 4.3pre4
- * @version $Id: BufferChanging.java 16342 2009-10-14 10:07:18Z kpouer $
- */
- public class BufferChanging extends PositionChanging
- {
- /**
- * @param editPane the editPane that sent the message
- * @param newBuffer the buffer that will soon be displayed.
- */
- public BufferChanging(EditPane editPane, Buffer newBuffer)
- {
- super(editPane, EditPaneUpdate.BUFFER_CHANGING);
- if (newBuffer == null)
- {
- String s = Arrays.toString(Thread.currentThread().getStackTrace());
- Log.log (Log.ERROR, this, "BufferChanging to null Buffer? Emit PositionChanging instead." + s);
- }
- m_buffer = newBuffer;
- }
-
- /**
- * @return the new buffer that is about to be displayed
- */
- public Buffer getBuffer()
- {
- return m_buffer;
- }
- private Buffer m_buffer;
- }