Package javax.swing.text

Examples of javax.swing.text.PlainDocument


    portLabel = new JLabel("Port:");
    addItem(connectionPanel, portLabel, 0, 0, 0, 0);
    portTextField = new JTextField();
    portTextField.setColumns(5);
    portTextField.setDocument(new PlainDocument() {
      private static final long serialVersionUID = -2931123589022300709L;

      @Override
      public void insertString(int offs, String str, AttributeSet a) throws BadLocationException {
        String currentText = getText(0, getLength());
View Full Code Here


    }

    @Override
    protected void setUp() throws Exception {
        ues1 = new ExtUESupport();
        realSource = new PlainDocument();
        ues2 = new UndoableEditSupport(realSource);
        fireOrder = "";
        super.setUp();
    }
View Full Code Here

        assertEquals(5, pf.getColumns());
        assertEquals("", pf.getText());
    }

    public void testJPasswordFieldDocumentStringint() {
        Document doc = new PlainDocument();
        pf = new JPasswordField(doc, "abc", 5);
        assertEquals(doc, pf.getDocument());
        assertEquals(5, pf.getColumns());
        assertEquals("abc", pf.getText());
    }
View Full Code Here

            new Thread() {
                public void run() {
                    char [] buffer = new char[4096];

                    try {
                        Document  doc = new PlainDocument();

                        InputStream is
                            = u.openStream(MimeTypeConstants.MIME_TYPES_SVG);

                        Reader in = XMLUtilities.createXMLDocumentReader(is);
                        int len;
                        while ((len=in.read(buffer, 0, buffer.length)) != -1) {
                            doc.insertString(doc.getLength(),
                                             new String(buffer, 0, len), null);
                        }

                        ta.setDocument(doc);
                        ta.setEditable(false);
View Full Code Here

  {
    private PlainDocument backend;

    private NonFilteringPlainDocument()
    {
      backend = new PlainDocument();
    }
View Full Code Here

            new Thread() {
                public void run() {
                    char [] buffer = new char[4096];

                    try {
                        Document  doc = new PlainDocument();

                        ParsedURL purl = new ParsedURL(svgDocument.getURL());
                        InputStream is
                            = u.openStream(getInputHandler(purl).
                                           getHandledMimeTypes());
                        // u.openStream(MimeTypeConstants.MIME_TYPES_SVG);

                        Reader in = XMLUtilities.createXMLDocumentReader(is);
                        int len;
                        while ((len=in.read(buffer, 0, buffer.length)) != -1) {
                            doc.insertString(doc.getLength(),
                                             new String(buffer, 0, len), null);
                        }

                        ta.setDocument(doc);
                        ta.setEditable(false);
View Full Code Here

            new Thread() {
                public void run() {
                    char [] buffer = new char[4096];

                    try {
                        Document  doc = new PlainDocument();

                        ParsedURL purl = new ParsedURL(svgDocument.getURL());
                        InputStream is
                            = u.openStream(getInputHandler(purl).
                                           getHandledMimeTypes());
                        // u.openStream(MimeTypeConstants.MIME_TYPES_SVG);

                        Reader in = XMLUtilities.createXMLDocumentReader(is);
                        int len;
                        while ((len=in.read(buffer, 0, buffer.length)) != -1) {
                            doc.insertString(doc.getLength(),
                                             new String(buffer, 0, len), null);
                        }

                        ta.setDocument(doc);
                        ta.setEditable(false);
View Full Code Here

  private void configEditor() {
    spinnerEditor = new NumberEditor(this);
    super.setModel(model);
    final Document jsDoc = spinnerEditor.getTextField().getDocument();
    if (jsDoc instanceof PlainDocument) {
      AbstractDocument doc = new PlainDocument() {
        private static final long serialVersionUID = 1L;

        @Override
        public void setDocumentFilter(DocumentFilter filter) {
          if (filter instanceof NumericDocumentFilter) {
            super.setDocumentFilter(filter);
          }
        }
      };
      doc.setDocumentFilter(new NumericDocumentFilter());
      spinnerEditor.getTextField().setDocument(doc);
    }

    this.setEditor(spinnerEditor);
  }
View Full Code Here

            protected boolean processKeyBinding(KeyStroke keyStroke, KeyEvent keyEvent, int i, boolean b) {
                return true;
            }
        };

        textField.setDocument(new PlainDocument() {
            @Override
            public void insertString(int i, String string, AttributeSet attributeSet) throws BadLocationException {
                if(updatingTextField)
                    super.insertString(i, string, attributeSet);
            }
View Full Code Here

      public boolean hasChanged() {
        return !getText().equals(MuConfigurations.getPreferences().getVariable(MuPreference.DATE_SEPARATOR));
      }
        };
        // Limit the number of characters in the text field to 1 and enforces only non-alphanumerical characters
        PlainDocument doc = new PlainDocument() {
                @Override
                public void insertString(int param, String str, javax.swing.text.AttributeSet attributeSet) throws javax.swing.text.BadLocationException {
                    // Limit field to 1 character max
                    if (str != null && this.getLength() + str.length() > 1)
                        return;
       
                    // Reject letters and digits, as they don't make much sense,
                    // plus letters would be misinterpreted by SimpleDateFormat
                    if (str != null) {
                        int len = str.length();
                        for(int i=0; i<len; i++)
                            if(Character.isLetterOrDigit(str.charAt(i)))
                                return;
                    }
         

                    super.insertString(param, str, attributeSet);
                }
            };
        dateSeparatorField.setDocument(doc);
        dateSeparatorField.setText(separator);
        doc.addDocumentListener(this);
        tempPanel.add(dateSeparatorField);
        tempPanel.add(Box.createHorizontalGlue());
        dateFormatPanel.add(tempPanel);

        showCenturyCheckBox = new PrefCheckBox(Translator.get("prefs_dialog.show_century")) {
View Full Code Here

TOP

Related Classes of javax.swing.text.PlainDocument

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.