⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 featurechoice.java

📁 一个Web爬虫(机器人
💻 JAVA
字号:
/* * 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 + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -