featurechoice.java

来自「一个Web爬虫(机器人」· Java 代码 · 共 49 行

JAVA
49
字号
/* * WebSPHINX web crawling toolkit * Copyright (C) 1998,1999 Carnegie Mellon University  *  * This library is free software; you can redistribute it * and/or modify it under the terms of the GNU Library * General Public License as published by the Free Software  * Foundation, version 2. * * WebSPHINX homepage: http://www.cs.cmu.edu/~rcm/websphinx/ */package websphinx.workbench;import java.awt.*;abstract class FeatureChoice extends Choice{    public FeatureChoice () {    }            public abstract Panel getArgs ();    public synchronized void select (int pos) {        super.select (pos);        flipArgs ();    }    public synchronized void select (String item) {        super.select (item);        flipArgs ();    }    public boolean handleEvent (Event event) {        if (event.id == Event.ACTION_EVENT && event.target == this) {            flipArgs ();            return true;        }        else            return super.handleEvent (event);    }    void flipArgs () {        Panel args = getArgs();        CardLayout layout = (CardLayout)(args.getLayout ());        layout.show (args, getSelectedItem());    }}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?