Changeset 17

Timestamp:

05/06/08 13:54:05 (16 years ago)

Author:

ra33

Message:

 

File:

• trunk/src/org/expeditee/io/TEXWriter.java (modified) (3 diffs)

trunk/src/org/expeditee/io/TEXWriter.java

@@ -57 +57 @@
 
                 String first = toWrite.get(0);
-                int ind = first.indexOf(":");
+                TexEnvironment te = new TexEnvironment(first);
 
-                if (ind > 0) {
-                        String tag = first.substring(0, ind);
-                        _writer.write("\\" + tag + "{" + ItemWriter.NEW_LINE);
+                if (te.isValid()) {
+                        if (te.hasComment())
+                                _writer.write("%" + te.getComment() + ItemWriter.NEW_LINE);
+                        _writer.write("\\begin{" + te.getName() + "}" + ItemWriter.NEW_LINE);
                 }
         }
-
+        
         @Override
         protected void writeEndLink(Item linker) throws IOException {
@@ -75 +76 @@
 
                 String first = toWrite.get(0);
-                int ind = first.indexOf(":");
+                TexEnvironment te = new TexEnvironment(first);
 
-                if (ind > 0) {
-                        _writer.write("}" + ItemWriter.NEW_LINE);
+                if (te.isValid()) {
+                        _writer.write("\\end{" + te.getName() + "}" + ItemWriter.NEW_LINE);
                 }
 
@@ -96 +97 @@
         }
 }
+