home *** CD-ROM | disk | FTP | other *** search
- package webeq3.schema;
-
- import java.awt.Graphics;
- import webeq3.app.Equation;
- import webeq3.constants.FontMapper;
- import webeq3.fonts.CharRender;
- import webeq3.fonts.ExtendedChar;
-
- public class MText extends MN {
- public MText(Box var1) {
- super(var1);
- super.type = 2;
- super.kind = 0;
- super.is_spacelike = true;
- }
-
- public MText() {
- super.type = 2;
- super.kind = 0;
- super.is_spacelike = true;
- }
-
- public MText(Equation var1) {
- super(var1);
- super.type = 2;
- super.kind = 0;
- super.is_spacelike = true;
- }
-
- public void size() {
- super.size();
- super.is_spacelike = true;
- }
-
- public void paint(Graphics var1, int var2, int var3) {
- ((Box)this).paintBackground(var1, var2, var3);
- int var4 = super.my_view.getDisplayWidth();
- if (super.my_view.linebreak) {
- int var5 = var2 + super.left + super.my_view.offsetx;
- int var6 = var5;
- int var7 = var5;
- ExtendedChar var8 = FontMapper.get('\\');
- var8.setFont(super.fn, super.my_view.getHandler().getComponent());
- int var9 = 0;
- int var10 = 0;
- boolean var11 = true;
- int var12 = 0;
-
- for(int var13 = 0; var13 < super.data.length; ++var13) {
- ExtendedChar var14 = super.data[var13];
- if (this.isWhiteSpace(var14) && var13 < super.data.length - 1) {
- var9 = var13 + 1;
- }
-
- if ((super.breakLookAhead > 0 && super.width + var2 + super.left + super.my_view.offsetx - var5 < super.breakLookAhead && var5 + var8.getWidth() + var14.getAdvance() + super.breakLookAhead > var4 || var5 + var8.getWidth() + var14.getAdvance() > var4) && (var5 + var14.getAdvance() > var4 || var13 != super.data.length - 1)) {
- boolean var15 = false;
- if (var9 <= var10) {
- if (var13 > 1) {
- var9 = var13;
- var15 = true;
- } else {
- var9 = 0;
- var15 = false;
- }
- }
-
- for(int var17 = var10; var17 < var9; ++var17) {
- ExtendedChar var16 = super.data[var17];
- if (super.reverse_video) {
- CharRender.paint(var1, var16, var6, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
- } else {
- CharRender.paint(var1, var16, var6, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
- }
-
- var6 += var16.getAdvance();
- }
-
- if (var15) {
- if (super.reverse_video) {
- CharRender.paint(var1, var8, var6, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
- } else {
- CharRender.paint(var1, var8, var6, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
- }
- }
-
- var12 += var6 - var7;
- Integer var18 = new Integer(var6 - super.my_view.offsetx);
- super.my_view.breaks.addElement(var18);
- int var19 = var6 - super.my_view.indent;
- Equation var10000 = super.my_view;
- var10000.offsetx -= var19;
- var10000 = super.my_view;
- var10000.offsety += 5 + super.my_view.root.getHeight();
- var5 -= var19;
- var6 = super.my_view.indent;
- var7 = var6;
- var10 = var9;
- ((Box)this).rvPaint(var1, var2 + super.left + super.my_view.offsetx + var12, var3 + super.top + super.my_view.offsety, super.width - var12, super.height);
- }
-
- var5 += var14.getAdvance();
- }
-
- for(int var23 = var10; var23 < super.data.length; ++var23) {
- ExtendedChar var24 = super.data[var23];
- if (super.reverse_video) {
- CharRender.paint(var1, var24, var6, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
- } else {
- CharRender.paint(var1, var24, var6, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
- }
-
- var6 += var24.getAdvance();
- }
- } else {
- int var21 = var2 + super.left + super.my_view.offsetx;
-
- for(int var22 = 0; var22 < super.data.length; ++var22) {
- ExtendedChar var20 = super.data[var22];
- if (super.reverse_video) {
- CharRender.paint(var1, var20, var21, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
- } else {
- CharRender.paint(var1, var20, var21, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
- }
-
- var21 += var20.getAdvance();
- }
- }
-
- super.absleft = var2 + super.left;
- super.abstop = var3 + super.top;
- }
-
- private boolean isWhiteSpace(ExtendedChar var1) {
- char var2 = var1.getChar();
- return var2 == 8201 || var2 == 160 || var2 == 8195 || var2 == '\uf365' || var2 == '\uf380' || var2 == '\uf382' || var2 == '\uf383' || var2 == '\uf384' || Character.isWhitespace(var2);
- }
- }
-