22 |
|
|
23 |
/** FenPDF context what handles keystrokes and |
/** FenPDF context what handles keystrokes and |
24 |
* accursed node at least. |
* accursed node at least. |
|
* <p> |
|
|
* RULE!: context must be always left so that inserting |
|
|
* text can be done easily. |
|
25 |
*/ |
*/ |
26 |
public class FenPDFContext implements |
public class FenPDFContext implements |
27 |
ContextNodeView.Context, |
ContextNodeView.Context, |
133 |
vs.put(new LineVob(0,0,0,1, java.awt.Color.darkGray), cursor); |
vs.put(new LineVob(0,0,0,1, java.awt.Color.darkGray), cursor); |
134 |
} |
} |
135 |
|
|
136 |
Button b_always = new Button(vs, 0, |
Button b_always = new Button(vs, 0, GraphicsAPI.getInstance(). |
137 |
GraphicsAPI.getInstance().getTextStyle("sans", 0, 24), |
getTextStyle("sans", 0, 24), |
138 |
30, 0, 50); |
30, 0, 50); |
139 |
b_always.add("[Import PS/PDF]", "IMPORT"); |
b_always.add("[Import PS/PDF]", "IMPORT"); |
140 |
|
|
141 |
Button b = new Button(vs, 0, |
Button b = new Button(vs, 0, GraphicsAPI.getInstance(). |
142 |
GraphicsAPI.getInstance().getTextStyle("sans", 0, 24), |
getTextStyle("sans", 0, 24), |
143 |
40, 23, 50); |
40, 25, 50); |
144 |
if (leftLink) b.add("[<--]", "LINK_LEFT"); |
if (leftLink) b.add("[<--]", "LINK_LEFT"); |
145 |
if (setOrigin) b.add("[Set link origin]", "SET_ORIG"); |
if (setOrigin) b.add("[Set link origin]", "SET_ORIG"); |
146 |
if (unSetOrigin)b.add("[Unset link origin]","UNSET_ORIG"); |
if (unSetOrigin)b.add("[Unset link origin]","UNSET_ORIG"); |
147 |
if (rigthLink) b.add("[-->]", "LINK_RIGTH"); |
if (rigthLink) b.add("[-->]", "LINK_RIGTH"); |
|
|
|
148 |
} |
} |
149 |
|
|
150 |
|
|