home *** CD-ROM | disk | FTP | other *** search
- package com.sun.java.swing.text.html;
-
- import com.sun.java.swing.text.AttributeSet;
- import com.sun.java.swing.text.Element;
- import java.io.Writer;
-
- public class HTMLWriter$DlTranslator implements BranchTranslator {
- // $FF: synthetic field
- private final HTMLWriter this$0;
-
- public void translate(Writer var1, Element var2) {
- AttributeSet var3 = var2.getAttributes();
- this.this$0.write(var1, "<" + HTMLWriter.access$0(this.this$0, "dl"));
- String var4 = (String)var3.getAttribute("compact");
- if (var4 == "#DEFAULT") {
- this.this$0.write(var1, HTMLWriter.access$2() + HTMLWriter.access$0(this.this$0, "compact"));
- }
-
- this.this$0.write(var1, ">\n");
- }
-
- public HTMLWriter$DlTranslator(HTMLWriter var1) {
- this.this$0 = var1;
- this.this$0 = var1;
- }
- }
-