gzz.view
Class DefaultBinder

java.lang.Object
  |
  +--gzz.view.DefaultBinder
All Implemented Interfaces:
FallbackBinder

public class DefaultBinder
extends java.lang.Object
implements FallbackBinder

Keybindings for the Fallback client.


Field Summary
static boolean dbg
           
 ClientException lastClientException
          The last client exception that occurred, if any.
static java.util.Set markedCells
          The set of all marked cells.
static java.util.List marks
          The current set of marks.
static java.lang.String rcsid
           
 
Constructor Summary
DefaultBinder()
           
 
Method Summary
static void editPlainText(Cell c)
          Edit a cell's content as plain text.
static java.lang.String execExternalEditor(java.lang.String text)
           
 boolean isMarked(Cell c)
           
 void keystroke(java.lang.String k, Fallback.Win win)
           
static void makeLink(Fallback fallback, int dir)
           
static void makeLink(Fallback fallback, int dir, Enfilade1D from)
           
 void mouse(java.awt.event.MouseEvent e, Fallback.Win win)
           
 void normalModeKeystroke(java.lang.String k)
           
 void setFallback(Fallback fallback)
           
 void textModeKeystroke(java.lang.String k)
           
 void windowClosed(Fallback.Win window)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

rcsid

public static final java.lang.String rcsid
See Also:
Constant Field Values

dbg

public static boolean dbg

marks

public static java.util.List marks
The current set of marks. Each marked cell is represented as a gzz.view.Mark object. We don't have support for multiple mark sets yet.


markedCells

public static java.util.Set markedCells
The set of all marked cells. This is the set of all cells in the Mark objects of marks. We need this because going through the whole list for all cells on the screen scales badly. We want to be able to have big mark sets.


lastClientException

public ClientException lastClientException
The last client exception that occurred, if any.

Constructor Detail

DefaultBinder

public DefaultBinder()
Method Detail

setFallback

public void setFallback(Fallback fallback)
Specified by:
setFallback in interface FallbackBinder

isMarked

public boolean isMarked(Cell c)
Specified by:
isMarked in interface FallbackBinder

keystroke

public void keystroke(java.lang.String k,
                      Fallback.Win win)
Specified by:
keystroke in interface FallbackBinder

normalModeKeystroke

public void normalModeKeystroke(java.lang.String k)
                         throws ClientException
ClientException

textModeKeystroke

public void textModeKeystroke(java.lang.String k)

makeLink

public static void makeLink(Fallback fallback,
                            int dir)

makeLink

public static void makeLink(Fallback fallback,
                            int dir,
                            Enfilade1D from)

editPlainText

public static void editPlainText(Cell c)
Edit a cell's content as plain text. This opens either an external editor, if one is specified in the system property user.editor, or alternatively uses an AWT window with a multiline text area (XXX not implemented).


execExternalEditor

public static java.lang.String execExternalEditor(java.lang.String text)

windowClosed

public void windowClosed(Fallback.Win window)
Specified by:
windowClosed in interface FallbackBinder

mouse

public void mouse(java.awt.event.MouseEvent e,
                  Fallback.Win win)
Specified by:
mouse in interface FallbackBinder