textcolormanager.java

ErGo是一个很早的Java通用围棋服务器(IGS/NNGS)客户端程序。有全部源码和文档

package ergo.ui;

// $Id: TextColorManager.java,v 1.2 1999/08/13 01:20:11 sigue Exp $

/*
 *  Copyright (C) 1999  Carl L. Gay and Antranig M. Basman.
 *  See the file copyright.txt, distributed with this software,
 *  for further information.
 */

import ergo.*;
import ergo.util.*;
import ergo.logic.*;
import ergo.server.*;
import java.awt.Color;

// Utility functions for managing colors and events for Text controls.

public class TextColorManager {
  private static Optionizer opser;
  public static void setOpser(Optionizer opser1) {
    opser = opser1;
  }
  public static Color[] getColorVec() {
    Color[] colors = new Color[] {
      opser.getColorOption(opser.textcolString), 
      opser.getColorOption(opser.textbackString),
      opser.getColorOption(opser.texthighString),
      opser.getColorOption(opser.texthighbackString)};
    return colors;
  }
  public static Optionizable[] targets = new Optionizable[4];
  public static void expressAll(Optionizable target, int number) {
    for (int i = 0; i < 4; ++i) {
      if (i<number) targets[i] = target; else targets[i] = null;
    }
    try {
      opser.expressOwnership(opser.textcolString, Optionizer.TYPE_COLOR, targets[0],
			     new ColorSpec("System.textText"));
      opser.expressOwnership(opser.textbackString, Optionizer.TYPE_COLOR,
			     targets[1], new ColorSpec("System.window"));
      opser.expressOwnership(opser.texthighString, Optionizer.TYPE_COLOR,
			     targets[2],
			     new ColorSpec("System.textHighlightText"));
      opser.expressOwnership(opser.texthighbackString, Optionizer.TYPE_COLOR,
			     targets[3], new ColorSpec("System.textHighlight"));
    }
    catch (ParseException e) {
      Debug.backtrace(e);
    }
  }
  public static boolean isColorString(String test) {
    return (opser.isSameKey(test, opser.textcolString) 
	    || opser.isSameKey(test, opser.textbackString) 
	    || opser.isSameKey(test, opser.texthighString) 
	    || opser.isSameKey(test, opser.texthighbackString) );
  }
}				// end TextColorManager