return ((SwingTerminal) terminal).getBlinkMillis();
}
+ /**
+ * Getter for the underlying Swing component.
+ *
+ * @return the SwingComponent
+ */
+ public SwingComponent getSwingComponent() {
+ return ((SwingTerminal) terminal).getSwingComponent();
+ }
+
}
this.textHeight = textHeight;
}
+ /**
+ * Getter for the underlying Swing component.
+ *
+ * @return the SwingComponent
+ */
+ public SwingComponent getSwingComponent() {
+ return swing;
+ }
+
}
return sessionInfo;
}
+ /**
+ * Getter for the underlying Swing component.
+ *
+ * @return the SwingComponent
+ */
+ public SwingComponent getSwingComponent() {
+ return swing;
+ }
+
// ------------------------------------------------------------------------
// KeyListener ------------------------------------------------------------
// ------------------------------------------------------------------------