mirror of git://gcc.gnu.org/git/gcc.git
472 lines
12 KiB
Java
472 lines
12 KiB
Java
/* BasicTextUI.java
|
|
Copyright (C) 2002, 2003, 2004 Free Software Foundation, Inc.
|
|
|
|
This file is part of GNU Classpath.
|
|
|
|
GNU Classpath is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 2, or (at your option)
|
|
any later version.
|
|
|
|
GNU Classpath is distributed in the hope that it will be useful, but
|
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GNU Classpath; see the file COPYING. If not, write to the
|
|
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
|
|
02111-1307 USA.
|
|
|
|
Linking this library statically or dynamically with other modules is
|
|
making a combined work based on this library. Thus, the terms and
|
|
conditions of the GNU General Public License cover the whole
|
|
combination.
|
|
|
|
As a special exception, the copyright holders of this library give you
|
|
permission to link this library with independent modules to produce an
|
|
executable, regardless of the license terms of these independent
|
|
modules, and to copy and distribute the resulting executable under
|
|
terms of your choice, provided that you also meet, for each linked
|
|
independent module, the terms and conditions of the license of that
|
|
module. An independent module is a module which is not derived from
|
|
or based on this library. If you modify this library, you may extend
|
|
this exception to your version of the library, but you are not
|
|
obligated to do so. If you do not wish to do so, delete this
|
|
exception statement from your version. */
|
|
|
|
|
|
package javax.swing.plaf.basic;
|
|
|
|
import java.awt.Color;
|
|
import java.awt.Container;
|
|
import java.awt.Dimension;
|
|
import java.awt.Graphics;
|
|
import java.awt.Insets;
|
|
import java.awt.Point;
|
|
import java.awt.Rectangle;
|
|
import java.awt.Shape;
|
|
import java.beans.PropertyChangeEvent;
|
|
import java.beans.PropertyChangeListener;
|
|
|
|
import javax.swing.Action;
|
|
import javax.swing.ActionMap;
|
|
import javax.swing.InputMap;
|
|
import javax.swing.JComponent;
|
|
import javax.swing.SwingUtilities;
|
|
import javax.swing.UIDefaults;
|
|
import javax.swing.UIManager;
|
|
import javax.swing.plaf.ComponentUI;
|
|
import javax.swing.plaf.TextUI;
|
|
import javax.swing.plaf.UIResource;
|
|
import javax.swing.text.BadLocationException;
|
|
import javax.swing.text.Caret;
|
|
import javax.swing.text.DefaultCaret;
|
|
import javax.swing.text.DefaultEditorKit;
|
|
import javax.swing.text.DefaultHighlighter;
|
|
import javax.swing.text.Document;
|
|
import javax.swing.text.EditorKit;
|
|
import javax.swing.text.Element;
|
|
import javax.swing.text.Highlighter;
|
|
import javax.swing.text.JTextComponent;
|
|
import javax.swing.text.Keymap;
|
|
import javax.swing.text.PlainDocument;
|
|
import javax.swing.text.PlainView;
|
|
import javax.swing.text.Position;
|
|
import javax.swing.text.View;
|
|
import javax.swing.text.ViewFactory;
|
|
|
|
|
|
public abstract class BasicTextUI extends TextUI
|
|
implements ViewFactory
|
|
{
|
|
public static class BasicCaret extends DefaultCaret
|
|
implements UIResource
|
|
{
|
|
public BasicCaret()
|
|
{
|
|
}
|
|
}
|
|
|
|
public static class BasicHighlighter extends DefaultHighlighter
|
|
implements UIResource
|
|
{
|
|
public BasicHighlighter()
|
|
{
|
|
}
|
|
}
|
|
|
|
private class RootView extends View
|
|
{
|
|
private View view;
|
|
|
|
public RootView()
|
|
{
|
|
super(null);
|
|
}
|
|
|
|
public ViewFactory getViewFactory()
|
|
{
|
|
// FIXME: Handle EditorKit somehow.
|
|
return BasicTextUI.this;
|
|
}
|
|
|
|
public void setView(View v)
|
|
{
|
|
if (view != null)
|
|
view.setParent(null);
|
|
|
|
if (v != null)
|
|
v.setParent(null);
|
|
|
|
view = v;
|
|
}
|
|
|
|
public Container getContainer()
|
|
{
|
|
return textComponent;
|
|
}
|
|
|
|
public float getPreferredSpan(int axis)
|
|
{
|
|
if (view != null)
|
|
return view.getPreferredSpan(axis);
|
|
|
|
return Integer.MAX_VALUE;
|
|
}
|
|
|
|
public void paint(Graphics g, Shape s)
|
|
{
|
|
if (view != null)
|
|
view.paint(g, s);
|
|
}
|
|
|
|
protected Rectangle modelToView(int position, Shape a, Position.Bias bias)
|
|
throws BadLocationException
|
|
{
|
|
return ((PlainView) view).modelToView(position, a, bias).getBounds();
|
|
}
|
|
}
|
|
|
|
class UpdateHandler implements PropertyChangeListener
|
|
{
|
|
public void propertyChange(PropertyChangeEvent event)
|
|
{
|
|
if (event.getPropertyName().equals("document"))
|
|
{
|
|
// Document changed.
|
|
modelChanged();
|
|
}
|
|
}
|
|
}
|
|
|
|
static EditorKit kit = new DefaultEditorKit();
|
|
|
|
RootView rootView = new RootView();
|
|
JTextComponent textComponent;
|
|
UpdateHandler updateHandler = new UpdateHandler();
|
|
|
|
public BasicTextUI()
|
|
{
|
|
}
|
|
|
|
protected Caret createCaret()
|
|
{
|
|
return new BasicCaret();
|
|
}
|
|
|
|
protected Highlighter createHighlighter()
|
|
{
|
|
return new BasicHighlighter();
|
|
}
|
|
|
|
protected final JTextComponent getComponent()
|
|
{
|
|
return textComponent;
|
|
}
|
|
|
|
public void installUI(final JComponent c)
|
|
{
|
|
super.installUI(c);
|
|
c.setOpaque(true);
|
|
|
|
textComponent = (JTextComponent) c;
|
|
|
|
Document doc = textComponent.getDocument();
|
|
if (doc == null)
|
|
{
|
|
doc = getEditorKit(textComponent).createDefaultDocument();
|
|
textComponent.setDocument(doc);
|
|
}
|
|
|
|
textComponent.addPropertyChangeListener(updateHandler);
|
|
modelChanged();
|
|
|
|
installDefaults();
|
|
installListeners();
|
|
installKeyboardActions();
|
|
}
|
|
|
|
protected void installDefaults()
|
|
{
|
|
Caret caret = textComponent.getCaret();
|
|
if (caret == null)
|
|
{
|
|
caret = createCaret();
|
|
textComponent.setCaret(caret);
|
|
}
|
|
|
|
Highlighter highlighter = textComponent.getHighlighter();
|
|
if (highlighter == null)
|
|
textComponent.setHighlighter(createHighlighter());
|
|
|
|
String prefix = getPropertyPrefix();
|
|
UIDefaults defaults = UIManager.getLookAndFeelDefaults();
|
|
textComponent.setBackground(defaults.getColor(prefix + ".background"));
|
|
textComponent.setForeground(defaults.getColor(prefix + ".foreground"));
|
|
textComponent.setMargin(defaults.getInsets(prefix + ".margin"));
|
|
textComponent.setBorder(defaults.getBorder(prefix + ".border"));
|
|
textComponent.setFont(defaults.getFont(prefix + ".font"));
|
|
|
|
caret.setBlinkRate(defaults.getInt(prefix + ".caretBlinkRate"));
|
|
}
|
|
|
|
protected void installListeners()
|
|
{
|
|
// Do nothing here.
|
|
}
|
|
|
|
protected String getKeymapName()
|
|
{
|
|
return "BasicTextUI";
|
|
}
|
|
|
|
protected Keymap createKeymap()
|
|
{
|
|
String prefix = getPropertyPrefix();
|
|
UIDefaults defaults = UIManager.getLookAndFeelDefaults();
|
|
JTextComponent.KeyBinding[] bindings =
|
|
(JTextComponent.KeyBinding[]) defaults.get(prefix + ".keyBindings");
|
|
Keymap km = JTextComponent.addKeymap(getKeymapName(),
|
|
JTextComponent.getKeymap(JTextComponent.DEFAULT_KEYMAP));
|
|
JTextComponent.loadKeymap(km, bindings, textComponent.getActions());
|
|
return km;
|
|
}
|
|
|
|
protected void installKeyboardActions()
|
|
{
|
|
// load any bindings for the older Keymap interface
|
|
Keymap km = JTextComponent.getKeymap(getKeymapName());
|
|
if (km == null)
|
|
km = createKeymap();
|
|
textComponent.setKeymap(km);
|
|
|
|
// load any bindings for the newer InputMap / ActionMap interface
|
|
SwingUtilities.replaceUIInputMap(textComponent,
|
|
JComponent.WHEN_FOCUSED,
|
|
getInputMap(JComponent.WHEN_FOCUSED));
|
|
SwingUtilities.replaceUIActionMap(textComponent, getActionMap());
|
|
}
|
|
|
|
InputMap getInputMap(int condition)
|
|
{
|
|
String prefix = getPropertyPrefix();
|
|
UIDefaults defaults = UIManager.getLookAndFeelDefaults();
|
|
switch (condition)
|
|
{
|
|
case JComponent.WHEN_IN_FOCUSED_WINDOW:
|
|
// FIXME: is this the right string? nobody seems to use it.
|
|
return (InputMap) defaults.get(prefix + ".windowInputMap");
|
|
case JComponent.WHEN_ANCESTOR_OF_FOCUSED_COMPONENT:
|
|
return (InputMap) defaults.get(prefix + ".ancestorInputMap");
|
|
default:
|
|
case JComponent.WHEN_FOCUSED:
|
|
return (InputMap) defaults.get(prefix + ".focusInputMap");
|
|
}
|
|
}
|
|
|
|
ActionMap getActionMap()
|
|
{
|
|
String prefix = getPropertyPrefix();
|
|
UIDefaults defaults = UIManager.getLookAndFeelDefaults();
|
|
ActionMap am = (ActionMap) defaults.get(prefix + ".actionMap");
|
|
if (am == null)
|
|
{
|
|
am = createActionMap();
|
|
defaults.put(prefix + ".actionMap", am);
|
|
}
|
|
return am;
|
|
}
|
|
|
|
ActionMap createActionMap()
|
|
{
|
|
Action[] actions = textComponent.getActions();
|
|
ActionMap am = new ActionMap();
|
|
for (int i = 0; i < actions.length; ++i)
|
|
{
|
|
String name = (String) actions[i].getValue(Action.NAME);
|
|
if (name != null)
|
|
am.put(name, actions[i]);
|
|
}
|
|
return am;
|
|
}
|
|
|
|
public void uninstallUI(final JComponent component)
|
|
{
|
|
super.uninstallUI(component);
|
|
rootView.setView(null);
|
|
|
|
textComponent.removePropertyChangeListener(updateHandler);
|
|
textComponent = null;
|
|
|
|
uninstallDefaults();
|
|
uninstallListeners();
|
|
uninstallKeyboardActions();
|
|
}
|
|
|
|
protected void uninstallDefaults()
|
|
{
|
|
// Do nothing here.
|
|
}
|
|
|
|
protected void uninstallListeners()
|
|
{
|
|
// Do nothing here.
|
|
}
|
|
|
|
protected void uninstallKeyboardActions()
|
|
{
|
|
// Do nothing here.
|
|
}
|
|
|
|
protected abstract String getPropertyPrefix();
|
|
|
|
public Dimension getPreferredSize(JComponent c)
|
|
{
|
|
View v = getRootView(textComponent);
|
|
|
|
float w = v.getPreferredSpan(View.X_AXIS);
|
|
float h = v.getPreferredSpan(View.Y_AXIS);
|
|
|
|
return new Dimension((int) w, (int) h);
|
|
}
|
|
|
|
public final void paint(Graphics g, JComponent c)
|
|
{
|
|
paintSafely(g);
|
|
}
|
|
|
|
protected void paintSafely(Graphics g)
|
|
{
|
|
Caret caret = textComponent.getCaret();
|
|
Highlighter highlighter = textComponent.getHighlighter();
|
|
|
|
if (textComponent.isOpaque())
|
|
paintBackground(g);
|
|
|
|
if (highlighter != null
|
|
&& textComponent.getSelectionStart() != textComponent.getSelectionEnd())
|
|
highlighter.paint(g);
|
|
|
|
rootView.paint(g, getVisibleEditorRect());
|
|
|
|
if (caret != null)
|
|
caret.paint(g);
|
|
}
|
|
|
|
protected void paintBackground(Graphics g)
|
|
{
|
|
g.setColor(textComponent.getBackground());
|
|
g.fillRect(0, 0, textComponent.getWidth(), textComponent.getHeight());
|
|
}
|
|
|
|
public void damageRange(JTextComponent t, int p0, int p1)
|
|
{
|
|
damageRange(t, p0, p1, null, null);
|
|
}
|
|
|
|
public void damageRange(JTextComponent t, int p0, int p1,
|
|
Position.Bias firstBias, Position.Bias secondBias)
|
|
{
|
|
}
|
|
|
|
public EditorKit getEditorKit(JTextComponent t)
|
|
{
|
|
return kit;
|
|
}
|
|
|
|
public int getNextVisualPositionFrom(JTextComponent t, int pos,
|
|
Position.Bias b, int direction,
|
|
Position.Bias[] biasRet)
|
|
throws BadLocationException
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
public View getRootView(JTextComponent t)
|
|
{
|
|
return rootView;
|
|
}
|
|
|
|
public Rectangle modelToView(JTextComponent t, int pos)
|
|
throws BadLocationException
|
|
{
|
|
return modelToView(t, pos, Position.Bias.Forward);
|
|
}
|
|
|
|
public Rectangle modelToView(JTextComponent t, int pos, Position.Bias bias)
|
|
throws BadLocationException
|
|
{
|
|
return rootView.modelToView(pos, getVisibleEditorRect(), bias).getBounds();
|
|
}
|
|
|
|
public int viewToModel(JTextComponent t, Point pt)
|
|
{
|
|
return viewToModel(t, pt, null);
|
|
}
|
|
|
|
public int viewToModel(JTextComponent t, Point pt, Position.Bias[] biasReturn)
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
public View create(Element elem)
|
|
{
|
|
// subclasses have to implement this to get this functionality
|
|
return null;
|
|
}
|
|
|
|
public View create(Element elem, int p0, int p1)
|
|
{
|
|
// subclasses have to implement this to get this functionality
|
|
return null;
|
|
}
|
|
|
|
protected Rectangle getVisibleEditorRect()
|
|
{
|
|
int width = textComponent.getWidth();
|
|
int height = textComponent.getHeight();
|
|
|
|
if (width <= 0 || height <= 0)
|
|
return null;
|
|
|
|
Insets insets = textComponent.getInsets();
|
|
return new Rectangle(insets.left, insets.top,
|
|
width - insets.left + insets.right,
|
|
height - insets.top + insets.bottom);
|
|
}
|
|
|
|
protected final void setView(View view)
|
|
{
|
|
rootView.setView(view);
|
|
view.setParent(rootView);
|
|
}
|
|
|
|
protected void modelChanged()
|
|
{
|
|
ViewFactory factory = rootView.getViewFactory();
|
|
Element elem = textComponent.getDocument().getDefaultRootElement();
|
|
setView(factory.create(elem));
|
|
}
|
|
}
|