Home
last modified time | relevance | path

Searched refs:PageChangeListener (Results 1 – 13 of 13) sorted by relevance

/dports/java/jd-gui/jd-gui-1.6.6/app/src/main/java/org/jd/gui/view/component/panel/
H A DMainTabbedPanel.java22 …ble> extends TabbedPanel<T> implements UriOpenable, PreferencesChangeListener, PageChangeListener {
23 protected ArrayList<PageChangeListener> pageChangedListeners = new ArrayList<>();
76 for (PageChangeListener listener : pageChangedListeners) { in create()
86 for (PageChangeListener listener : pageChangedListeners) { in create()
135 public ArrayList<PageChangeListener> getPageChangedListeners() { in getPageChangedListeners()
180 for (PageChangeListener listener : pageChangedListeners) { in pageChanged()
H A DTreeTabbedPanel.java39 protected ArrayList<PageChangeListener> pageChangedListeners = new ArrayList<>();
216 for (PageChangeListener listener : pageChangedListeners) { in pageChanged()
316 public void addPageChangeListener(PageChangeListener listener) { in addPageChangeListener()
/dports/textproc/fop/fop-2.6/fop-core/src/main/java/org/apache/fop/render/awt/viewer/
H A DPreviewPanel.java249 public void addPageChangeListener(PageChangeListener l) { in addPageChangeListener()
250 listenerList.add(PageChangeListener.class, l); in addPageChangeListener()
257 public void removePageChangeListener(PageChangeListener l) { in removePageChangeListener()
258 listenerList.remove(PageChangeListener.class, l); in removePageChangeListener()
270 if (listeners[i] == PageChangeListener.class) { in firePageChange()
274 ((PageChangeListener)listeners[i + 1]).pageChanged(e); in firePageChange()
H A DPageChangeListener.java28 public interface PageChangeListener extends EventListener { interface
H A DPreviewDialog.java176 previewPanel.addPageChangeListener(new PageChangeListener() { in PreviewDialog()
/dports/print/pdf-renderer/pdf-renderer-0.9.1,1/demos/viewer/com/sun/pdfview/
H A DThumbPanel.java82 PageChangeListener listener;
184 public void addPageChangeListener(PageChangeListener pl) { in addPageChangeListener()
192 public void removePageChangeListener(PageChangeListener pl) { in removePageChangeListener()
H A DPageChangeListener.java28 public interface PageChangeListener interface
H A DPDFViewer.java82 PageChangeListener {
/dports/java/jd-gui/jd-gui-1.6.6/api/src/main/java/org/jd/gui/api/feature/
H A DPageChangeable.java11 void addPageChangeListener(PageChangeListener listener); in addPageChangeListener()
H A DPageChangeListener.java12 public interface PageChangeListener { interface
/dports/www/firefox-legacy/firefox-52.8.0esr/mobile/android/base/java/org/mozilla/gecko/home/
H A DHomePager.java174 setOnPageChangeListener(new PageChangeListener()); in HomePager()
509 private class PageChangeListener implements ViewPager.OnPageChangeListener { class in HomePager
/dports/lang/spidermonkey60/firefox-60.9.0/mobile/android/base/java/org/mozilla/gecko/home/
H A DHomePager.java178 addOnPageChangeListener(new PageChangeListener()); in HomePager()
525 private class PageChangeListener implements RtlViewPager.OnPageChangeListener { class in HomePager
/dports/java/jd-gui/jd-gui-1.6.6/app/src/main/java/org/jd/gui/view/
H A DMainView.java264 mainTabbedPanel.getPageChangedListeners().add(new PageChangeListener() { in MainView()