consolemanager.java

来自「纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统」· Java 代码 · 共 45 行

JAVA
45
字号
/*
 * $Id: ConsoleManager.java,v 1.8 2004/02/21 12:54:19 vchira_2000 Exp $
 */
package org.jnode.driver.console;

import org.jnode.driver.input.KeyboardListener;
import org.jnode.driver.input.PointerListener;


/**
 * @author epr
 */
public interface ConsoleManager extends KeyboardListener, PointerListener {
	
	public static final Class NAME = ConsoleManager.class;//"ConsoleManager";
	public static final String ShellConsoleName = "ShellConsole";
	public static final int MAX_SHELL_CONSOLE_NR = 6;

	/**
	 * Gets the console with the given index
	 * @param name
	 * @return The console
	 */
	public Console getConsole(String name);
	
	public Console getShellConsole(int index);
	
	public Console getConsoleWithAccelerator(int keyCode);

	public String[] listConsoleNames();
	
	public void registerConsole(Console console);
	public void unregisterConsole(Console console);
	/**
	 * Gets the currently focused console.
	 * @return Console
	 */
	public Console getFocus();
	
	/**
	 * Focus the given console
	 * @param console
	 */
	public void focus(Console console);
}

⌨️ 快捷键说明

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