private Tex glowmask(Pagina pag) {
Tex ret = glowmasks.get(pag);
if (ret == null) {
ret =
new TexI(
PUtils.glowmask(
PUtils.glowmask(pag.res().layer(Resource.imgc).img.getRaster()),
4,
new Color(32, 255, 32)));
glowmasks.put(pag, ret);
}
return (ret);
}
public boolean globtype(char k, KeyEvent ev) {
if ((k == 27) && (this.cur != null)) {
this.cur = null;
curoff = 0;
updlayout();
return (true);
} else if ((k == 8) && (this.cur != null)) {
this.cur = paginafor(this.cur.act().parent);
curoff = 0;
updlayout();
return (true);
} else if ((k == 'N') && (layout[gsz.x - 2][gsz.y - 1] == next)) {
use(next, false);
return (true);
}
Pagina r = hotmap.get(Character.toUpperCase(k));
if (r != null) {
use(r, true);
return (true);
}
return (false);
}
