1 22 23 package org.gjt.sp.jedit.msg; 24 25 import org.gjt.sp.jedit.*; 26 27 34 public class ViewUpdate extends EBMessage 35 { 36 39 public static final Object CREATED = "CREATED"; 40 41 44 public static final Object CLOSED = "CLOSED"; 45 46 50 public static final Object EDIT_PANE_CHANGED = "EDIT_PANE_CHANGED"; 51 52 56 public static final Object ACTIVATED = "VIEW_ACTIVATED"; 57 58 64 public ViewUpdate(View view, Object what) 65 { 66 super(view); 67 68 if(what == null) 69 throw new NullPointerException ("What must be non-null"); 70 71 this.what = what; 72 } 74 78 public Object getWhat() 79 { 80 return what; 81 } 83 87 public View getView() 88 { 89 return (View)getSource(); 90 } 92 public String paramString() 94 { 95 return "what=" + what + "," + super.paramString(); 96 } 98 private Object what; 100 } 102 | Popular Tags |