Java JavaDocument Examples

Example #1

File: RobocodeEditorKit.java Project: jccjames422/SRE-RoboCode

  @Override
  public Document createDefaultDocument() {
    JavaDocument doc = new JavaDocument();

    doc.setEditWindow(editWindow);
    return doc;
  }

Example #2

File: RobocodeView.java Project: atishayjain25/Virtual-Combat

  @Override
  public void changedUpdate(DocumentEvent e, Shape a, ViewFactory f) {
    super.changedUpdate(e, a, f);
    JavaDocument d = (JavaDocument) e.getDocument();

    if (d.isNeedsRedraw()) {
      getContainer().repaint();
      d.setNeedsRedraw(false);
    }
  }