6 |
import org.fenfire.util.*; |
import org.fenfire.util.*; |
7 |
import org.fenfire.view.*; |
import org.fenfire.view.*; |
8 |
import org.fenfire.view.buoy.*; |
import org.fenfire.view.buoy.*; |
9 |
|
import org.fenfire.vocab.*; |
10 |
|
|
11 |
import org.nongnu.libvob.*; |
import org.nongnu.libvob.*; |
12 |
import org.nongnu.libvob.impl.*; |
import org.nongnu.libvob.impl.*; |
98 |
nodeview = new DefaultNodeView(space); |
nodeview = new DefaultNodeView(space); |
99 |
|
|
100 |
adaptor.nodes = new NodeBuoyViewNodeType[]{ |
adaptor.nodes = new NodeBuoyViewNodeType[]{ |
101 |
new PPCanvasNode(space, scr.window, nodeview)}; |
new PPCanvasNode(space, scr.window, nodeview, new Pp.Context())}; |
102 |
adaptor.nodeLinkers = new BuoyNodeViewLinker[]{ |
adaptor.nodeLinkers = new BuoyNodeViewLinker[]{ |
103 |
new PPLinker(space)}; |
new PPLinker(space)}; |
104 |
|
|
124 |
Screen screen; |
Screen screen; |
125 |
|
|
126 |
public void keystroke(String s) { |
public void keystroke(String s) { |
127 |
pa("Keystroke: "+s); |
if (s.equals("Ctrl-Q")) System.exit(12765); |
128 |
AbstractUpdateManager.chg(); |
|
129 |
|
focus.keystroke(s); |
130 |
} |
} |
131 |
public void mouse(MouseEvent m) { |
public void mouse(MouseEvent m) { |
132 |
VobScene vs = screen.getVobSceneForEvents(); |
VobScene vs = screen.getVobSceneForEvents(); |
166 |
// -------------------------------------------------- |
// -------------------------------------------------- |
167 |
// WievContext |
// WievContext |
168 |
|
|
169 |
public class PPView implements NodeView.Context { |
public class Context implements NodeView.Context { |
170 |
public void nodeIsToBePlaced(RDFNode node, NodeView nv) { |
public void nodeIsToBePlaced(RDFNode node, NodeView nv) { |
171 |
|
pa("view context is not implemented"); |
172 |
// do nothing |
// do nothing |
173 |
} |
} |
174 |
|
|
175 |
|
public RDFNode getAccursed() { return accursed; } |
176 |
|
public void setAccursed(RDFNode node) { accursed = node; } |
177 |
|
|
178 |
|
public PPActions getPPActions() { return ppAct; } |
179 |
|
public String getCurrentPaper() { |
180 |
|
RDFNode paper = getAccursed(); |
181 |
|
if (ShortRDF.isNodeType(space.getModel(), getAccursed(), PP.noteType)) { |
182 |
|
paper = ShortRDF.getSubj(space.getModel(), getAccursed(), PP.contains); |
183 |
|
} |
184 |
|
return paper.toString(); |
185 |
|
} |
186 |
} |
} |
187 |
|
|
188 |
|
|