/jEdit/tags/jedit-4-3-pre14/org/gjt/sp/jedit/msg/CaretChanging.java

# · Java · 52 lines · 13 code · 6 blank · 33 comment · 0 complexity · 6b10401781f863c9b77b3736c5c64d98 MD5 · raw file

  1. /*
  2. * CaretChanging.java - caret changing (specialized text area update message)
  3. * :tabSize=8:indentSize=8:noTabs=false:
  4. * :folding=explicit:collapseFolds=1:
  5. *
  6. * Copyright (C) 2006 Alan Ezust
  7. *
  8. * This program is free software; you can redistribute it and/or
  9. * modify it under the terms of the GNU General Public License
  10. * as published by the Free Software Foundation; either version 2
  11. * of the License, or any later version.
  12. *
  13. * This program is distributed in the hope that it will be useful,
  14. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  15. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  16. * GNU General Public License for more details.
  17. *
  18. * You should have received a copy of the GNU General Public License
  19. * along with this program; if not, write to the Free Software
  20. * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  21. */
  22. package org.gjt.sp.jedit.msg;
  23. import org.gjt.sp.jedit.textarea.JEditTextArea;
  24. /**
  25. A message currently emitted not by jEdit's TextArea, but by various plugins,
  26. including CodeBrowser, Tags, CscopeFinder, and SideKick,
  27. whenever the plugin takes an action to change the caret to another location.
  28. @deprecated use @ref BufferChanging instead. It serves the same purpose, alerting plugins
  29. that the navigation position for the EditPane is about to change. The name of this class is misleading
  30. since a TextArea does not emit a caretChanging message each time the caret changes.
  31. @author Alan Ezust
  32. @since jEdit 4.3pre3
  33. */
  34. public class CaretChanging extends TextAreaUpdate
  35. {
  36. JEditTextArea jta;
  37. int caret;
  38. public CaretChanging(JEditTextArea jta)
  39. {
  40. super(jta, TextAreaUpdate.CARET_CHANGING);
  41. this.jta = jta;
  42. caret = jta.getCaretPosition();
  43. }
  44. }