/** * Gets the SharedContext for layout and rendering. * * @return see desc */ public SharedContext getSharedContext() { return panel.getSharedContext(); }
/** * Gets the SharedContext for layout and rendering. * * @return see desc */ public SharedContext getSharedContext() { return panel.getSharedContext(); }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { panel.getSharedContext().setDebug_draw_line_boxes(!panel.getSharedContext().debugDrawLineBoxes()); panel.repaint(); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { panel.getSharedContext().setDebug_draw_inline_boxes(!panel.getSharedContext().debugDrawInlineBoxes()); panel.repaint(); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { panel.getSharedContext().setDebug_draw_font_metrics(!panel.getSharedContext().debugDrawFontMetrics()); panel.repaint(); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { panel.getSharedContext().setDebug_draw_boxes(!panel.getSharedContext().debugDrawBoxes()); panel.repaint(); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { panel.getSharedContext().setDebug_draw_boxes(!panel.getSharedContext().debugDrawBoxes()); panel.repaint(); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { panel.getSharedContext().setDebug_draw_font_metrics(!panel.getSharedContext().debugDrawFontMetrics()); panel.repaint(); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { panel.getSharedContext().setDebug_draw_line_boxes(!panel.getSharedContext().debugDrawLineBoxes()); panel.repaint(); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { panel.getSharedContext().setDebug_draw_inline_boxes(!panel.getSharedContext().debugDrawInlineBoxes()); panel.repaint(); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { if (inspectorFrame == null) { inspectorFrame = new JFrame("DOM Tree Inspector"); } if (inspector == null) { // inspectorFrame = new JFrame("DOM Tree Inspector"); inspector = new DOMInspector(panel.doc, panel.getSharedContext(), panel.getSharedContext().getCss()); inspectorFrame.getContentPane().add(inspector); inspectorFrame.pack(); inspectorFrame.setSize(400, 600); inspectorFrame.setVisible(true); } else { inspector.setForDocument(panel.doc, panel.getSharedContext(), panel.getSharedContext().getCss()); } inspectorFrame.setVisible(true); } }
/** * Description of the Method * * @param evt PARAM */ public void actionPerformed(ActionEvent evt) { if (inspectorFrame == null) { inspectorFrame = new JFrame("DOM Tree Inspector"); } if (inspector == null) { // inspectorFrame = new JFrame("DOM Tree Inspector"); inspector = new DOMInspector(panel.doc, panel.getSharedContext(), panel.getSharedContext().getCss()); inspectorFrame.getContentPane().add(inspector); inspectorFrame.pack(); inspectorFrame.setSize(400, 600); inspectorFrame.setVisible(true); } else { inspector.setForDocument(panel.doc, panel.getSharedContext(), panel.getSharedContext().getCss()); } inspectorFrame.setVisible(true); } }
public void actionPerformed(ActionEvent evt) { panel.getSharedContext().getTextRenderer().setSmoothingThreshold(fontSizeThreshold); panel.repaint(); } }
public void actionPerformed(ActionEvent evt) { panel.getSharedContext().getTextRenderer().setSmoothingThreshold(fontSizeThreshold); panel.repaint(); } }
/** * Resets all rendered fonts on the current document to the font size * specified in the document's styling instructions. */ public void resetFontSize() { SharedContext rc = getSharedContext(); rc.getTextRenderer().setFontScale(1.0F); setDocument(getDocument()); }
/** * Resets all rendered fonts on the current document to the font size * specified in the document's styling instructions. */ public void resetFontSize() { SharedContext rc = getSharedContext(); rc.getTextRenderer().setFontScale(1.0F); setDocument(getDocument()); }
public void init() throws Exception { Container contentPane = this.getContentPane(); XHTMLPanel panel = new XHTMLPanel(); panel.getSharedContext().getTextRenderer().setSmoothingThreshold(0); // Anti-aliasing for all font sizes panel.setDocument(new File("c:\\Temp\\MyExperiment\\T2 BioCatalogue Plugin\\BioCatalogue Plugin\\resources\\test.html")); FSScrollPane scroll = new FSScrollPane(panel); contentPane.add(scroll); this.setTitle("XHTML rendered test"); this.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); this.pack(); this.setSize(1024, 768); }
/** * Applies a change in scale for fonts using the rendering context's text * renderer. */ private void scaleFont(float scaleBy) { SharedContext rc = getSharedContext(); float fs = rc.getTextRenderer().getFontScale() * scaleBy; if (fs < minFontScale || fs > maxFontScale) return; rc.getTextRenderer().setFontScale(fs); setDocument(getDocument()); }
/** * Applies a change in scale for fonts using the rendering context's text * renderer. */ private void scaleFont(float scaleBy) { SharedContext rc = getSharedContext(); float fs = rc.getTextRenderer().getFontScale() * scaleBy; if (fs < minFontScale || fs > maxFontScale) return; rc.getTextRenderer().setFontScale(fs); setDocument(getDocument()); }
private void initComponents() { setLayout(new ProfileDisplayLayout()); LinedBoxPanel buttonsPanel = new LinedBoxPanel(true).fullyPadded(); launchButton = new JButton(_("launcher.launch")); editProfileButton = new JButton(_("launcher.editProfile")); XHTMLPanel view = new XHTMLPanel(new ResourceUserAgent()); view.getSharedContext().getTextRenderer().setSmoothingThreshold(6f); Font font = launchButton.getFont().deriveFont(13f); launchButton.setFont(font); editProfileButton.setFont(font); buttonsPanel.setBorder(BorderFactory.createEmptyBorder()); SwingHelper.removeOpaqueness(buttonsPanel); titleLabel.setFont(titleLabel.getFont().deriveFont(35f)); buttonsPanel.addElement(launchButton); buttonsPanel.addElement(editProfileButton); add(titleLabel, ProfileDisplayLayout.TITLE); add(buttonsPanel, ProfileDisplayLayout.BUTTONS); add(view, BorderLayout.CENTER); view.setDocument("/resources/default.html"); setDocumentStyle(view); }