public void setBackgroundImage(String name) { backgroundImage = Icons.getIcon(name); }
public void setBackgroundImage(String name) { backgroundImage = Icons.getIcon(name); }
public void setBackgroundImage(String name) { backgroundImage = Icons.getIcon(name); }
public ZoomOutCommand(OWLVizViewI view) { super("Zoom Out", Icons.getIcon("zoom.out.png")); this.putValue(AbstractAction.SHORT_DESCRIPTION, "Zoom Out"); this.view = view; }
public ZoomInCommand(OWLVizViewI view) { super("Zoom In", Icons.getIcon("zoom.in.png")); this.putValue(AbstractAction.SHORT_DESCRIPTION, "Zoom In"); this.view = view; }
public BackgroundTaskLabel(BackgroundTaskManager mngr) { super(Icons.getIcon("busy.gif")); setOpaque(false); setVisible(false); this.mngr = mngr; t = new Timer(DELAY_MILLIS, timeout); t.setRepeats(false); mngr.addBusyListener(this); setupMouseHandler(); }
public BackgroundTaskLabel(BackgroundTaskManager mngr) { super(Icons.getIcon("busy.gif")); setOpaque(false); setVisible(false); this.mngr = mngr; t = new Timer(DELAY_MILLIS, timeout); t.setRepeats(false); mngr.addBusyListener(this); setupMouseHandler(); }
public BackgroundTaskLabel(BackgroundTaskManager mngr) { super(Icons.getIcon("busy.gif")); setOpaque(false); setVisible(false); this.mngr = mngr; t = new Timer(DELAY_MILLIS, timeout); t.setRepeats(false); mngr.addBusyListener(this); setupMouseHandler(); }
public PluginTable(List<PluginInfo> plugins) { setOpaque(false); this.provider = new ArrayList<>(plugins); addComponentListener(componentAdapter); setLayout(new BorderLayout()); setPreferredSize(new Dimension(500, 200)); waitLabel = new JLabel("Checking for plugins...", Icons.getIcon("busy.gif"), SwingConstants.CENTER); add(waitLabel, BorderLayout.CENTER); handleTableShown(); }
public PluginTable(PluginRegistry provider) { setOpaque(false); this.provider = provider; addComponentListener(componentAdapter); setLayout(new BorderLayout()); setPreferredSize(new Dimension(500, 200)); waitLabel = new JLabel("Checking for plugins...", Icons.getIcon("busy.gif"), SwingConstants.CENTER); add(waitLabel, BorderLayout.CENTER); }
private void markCheckedMenu(boolean marked) { if (marked) { JCheckBoxMenuItem it = new JCheckBoxMenuItem(); it.setSelected(true); /* * This is unfortunate. We cannot easily get the checkbox * icon from the L&F. Actually we get it, and then it * throws a class cast exception when it tries to paint it, * because it expects the component to be a JCheckBox. */ menu.setIcon(Icons.getIcon("hierarchy.collapsed.gif")); } else { menu.setIcon(null); } }
private void markCheckedMenu(boolean marked) { if (marked) { JCheckBoxMenuItem it = new JCheckBoxMenuItem(); it.setSelected(true); /* * This is unfortunate. We cannot easily get the checkbox * icon from the L&F. Actually we get it, and then it * throws a class cast exception when it tries to paint it, * because it expects the component to be a JCheckBox. */ menu.setIcon(Icons.getIcon("hierarchy.collapsed.gif")); } else { menu.setIcon(null); } }
public PluginTable(PluginRegistry provider) { setOpaque(false); this.provider = provider; addComponentListener(componentAdapter); setLayout(new BorderLayout()); setPreferredSize(new Dimension(500, 200)); waitLabel = new JLabel("Checking for plugins...", Icons.getIcon("busy.gif"), SwingConstants.CENTER); add(waitLabel, BorderLayout.CENTER); }
private void markCheckedMenu(boolean marked) { if (marked) { JCheckBoxMenuItem it = new JCheckBoxMenuItem(); it.setSelected(true); /* * This is unfortunate. We cannot easily get the checkbox * icon from the L&F. Actually we get it, and then it * throws a class cast exception when it tries to paint it, * because it expects the component to be a JCheckBox. */ menu.setIcon(Icons.getIcon("hierarchy.collapsed.gif")); } else { menu.setIcon(null); } }
private void markCheckedMenu(boolean marked) { if (marked) { JCheckBoxMenuItem it = new JCheckBoxMenuItem(); it.setSelected(true); /* * This is unfortunate. We cannot easily get the checkbox * icon from the L&F. Actually we get it, and then it * throws a class cast exception when it tries to paint it, * because it expects the component to be a JCheckBox. */ menu.setIcon(Icons.getIcon("hierarchy.collapsed.gif")); } else { menu.setIcon(null); } }
public ErrorNotificationLabel() { super(Icons.getIcon("error.png")); setToolTipText("Error Log: Click to view errors"); addMouseListener(new MouseAdapter() { public void mousePressed(MouseEvent e) { showErrors(); } }); setVisible(false); }
public void addCustomEntriesToTable(UIDefaults table) { super.addCustomEntriesToTable(table); Object[] uiDefaults = { "Tree.expandedIcon", Icons.getIcon("hierarchy.expanded.gif"), "Tree.collapsedIcon", Icons.getIcon("hierarchy.collapsed.gif"), "Table.selectionForeground", getMenuItemSelectedForeground(), "Table.selectionBackground", getMenuItemSelectedBackground(), "List.selectionForeground", getMenuItemSelectedForeground(), "List.selectionBackground", getMenuItemSelectedBackground(), "Tree.selectionForeground", getMenuItemSelectedForeground(), "Tree.selectionBackground", getMenuItemSelectedBackground(), }; table.putDefaults(uiDefaults); }
public void addCustomEntriesToTable(UIDefaults table) { super.addCustomEntriesToTable(table); Object[] uiDefaults = { "Tree.expandedIcon", Icons.getIcon("hierarchy.expanded.gif"), "Tree.collapsedIcon", Icons.getIcon("hierarchy.collapsed.gif"), "Table.selectionForeground", getMenuItemSelectedForeground(), "Table.selectionBackground", getMenuItemSelectedBackground(), "List.selectionForeground", getMenuItemSelectedForeground(), "List.selectionBackground", getMenuItemSelectedBackground(), "Tree.selectionForeground", getMenuItemSelectedForeground(), "Tree.selectionBackground", getMenuItemSelectedBackground(), }; table.putDefaults(uiDefaults); }
public ErrorNotificationLabel(ErrorLog errorLog, SendErrorReportHandler handler) { super(Icons.getIcon("error.png")); setToolTipText("Protege-Guard: Click to view errors"); setupMouseHandler(); listener = new ErrorLogListener() { public void errorLogged(ErrorLog errorLog) { setVisible(true); } public void errorLogCleared(ErrorLog errorLog) { setVisible(false); } }; errorLog.addListener(listener); setVisible(false); panel = new ErrorLogPanel(errorLog, handler); }
public ErrorNotificationLabel(ErrorLog errorLog, SendErrorReportHandler handler) { super(Icons.getIcon("error.png")); setToolTipText("Protege-Guard: Click to view errors"); setupMouseHandler(); listener = new ErrorLogListener() { public void errorLogged(ErrorLog errorLog) { setVisible(true); } public void errorLogCleared(ErrorLog errorLog) { setVisible(false); } }; errorLog.addListener(listener); setVisible(false); panel = new ErrorLogPanel(errorLog, handler); }