/**
* @see org.jnode.driver.console.ConsoleManager#createConsole(String, int)
*/
public TextScreenConsole createConsole(String name, int options) {
if ((options & CreateOptions.TEXT) != 0) {
final TextScreenManager tsm = getTextScreenManager();
final TextScreenConsole console;
if (name == null) {
name = autoName();
}
if ((options & CreateOptions.SCROLLABLE) != 0) {
final ScrollableTextScreen screen;
screen = tsm.getSystemScreen().createCompatibleScrollableBufferScreen(SCROLLABLE_HEIGHT);
console = new ScrollableTextScreenConsole(this, name, screen, options);
} else {
final TextScreen screen;
screen = tsm.getSystemScreen().createCompatibleBufferScreen();
console = new TextScreenConsole(this, name, screen, options);
}
console.setIn(getReader(options, console));
if ((options & CreateOptions.STACKED) != 0) {
stackConsole(console);