/* * BufferChanging.java - Buffer changing (specialized Edit Pane update message) * :tabSize=4:indentSize=4: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$ */ 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; }