object
GUILikeFilters
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
consumeWord(b: Vector[Char], c: Int, delta: Int, offset: Int): Int
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
-
val
fnAltShiftFilter: PartialFunction[TermInfo, TermAction]
-
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
wordLeft(b: Vector[Char], c: Int): (Vector[Char], Int)
-
def
wordRight(b: Vector[Char], c: Int): (Vector[Char], Int)
Inherited from AnyRef
Inherited from Any
Filters have hook into the various {Ctrl,Shift,Fn,Alt}x{Up,Down,Left,Right} combination keys, and make them behave similarly as they would on a normal GUI text editor: alt-{left, right} for word movement, hold-down-shift for text selection, etc.