Changeset 8111

Timestamp:

04/25/07 23:51:08 (20 months ago)

Author:

asterix

Message:

[thecurse] add latex support (run dvips and convert externaly) through use_latex ACE option. fixes #2796

Location:

trunk/src

Files:

• common/config.py (modified) (1 diff)
• conversation_textview.py (modified) (3 diffs)
• gajim.py (modified) (1 diff)

trunk/src/common/config.py

@@ -226 +226 @@
                 'treat_incoming_messages': [ opt_str, '', _('Can be empty, \'chat\' or \'normal\'. If not empty, treat all incoming messages as if they were of this type')],
                 'scroll_roster_to_last_message': [opt_bool, True, _('If True, Gajim will scroll and select the contact who sent you the last message, if chat window is not already opened.')],
+                'use_latex': [opt_bool, False, _('If True, Gajim will convert string between $$ and $$ to an image using dvips and convert before insterting it in chat window.')],
         }
 

trunk/src/conversation_textview.py

@@ -14 +14 @@
 ## GNU General Public License for more details.
 ##
+
+import random
+from tempfile import gettempdir
+from subprocess import Popen
 
 import gtk
@@ -572 +576 @@
 
                 return index # the position after *last* special text
+
+        def latex_to_image(self, str):
+                result = None
+                
+                str = str[2:len(str)-2]
+            
+                random.seed()
+                tmpfile = os.path.join(gettempdir(), "gajimtex_" + random.randint(0, 100).__str__())
+
+                # build latex string
+                texstr = "\\documentclass[12pt]{article}\\usepackage[dvips]{graphicx}\\usepackage{amsmath}\\usepackage{amssymb}\\pagestyle{empty}"
+                texstr += "\\begin{document}\\begin{large}\\begin{gather*}"
+                texstr += str
+                texstr += "\\end{gather*}\\end{large}\\end{document}"
+
+                file = open(os.path.join(tmpfile + ".tex"), "w+")
+                file.write(texstr)
+                file.flush()
+                file.close()
+
+                p = Popen(['latex', '--interaction=nonstopmode', tmpfile + '.tex'], cwd=gettempdir())
+                exitcode = p.wait()
+
+                if exitcode == 0:           
+                        p = Popen(['dvips', '-E', '-o', tmpfile + '.ps', tmpfile + '.dvi'], cwd=gettempdir())
+                        exitcode = p.wait()
+
+                if exitcode == 0:
+                    p = Popen(['convert', tmpfile + '.ps', tmpfile + '.png'], cwd=gettempdir())
+                    exitcode = p.wait()
+            
+                extensions = [".tex", ".log", ".aux", ".dvi", ".ps"]
+            
+                for ext in extensions:
+                        try:
+                                os.remove(tmpfile + ext)
+                        except Exception:
+                                pass
+            
+                if exitcode == 0:
+                        result = tmpfile + '.png'
+                
+                return result
+
 
         def print_special_text(self, special_text, other_tags):
@@ -657 +705 @@
                                 if not show_ascii_formatting_chars:
                                         special_text = special_text[1:-1] # remove _ _
+                elif special_text.startswith('$$') and special_text.endswith('$$'):
+                        imagepath = self.latex_to_image(special_text)
+                        end_iter = buffer.get_end_iter()
+                        anchor = buffer.create_child_anchor(end_iter)
+                        if imagepath != None:
+                                img = gtk.Image()
+                                img.set_from_file(imagepath)
+                                img.show()
+                                # add
+                                self.tv.add_child_at_anchor(img, anchor)
+                                # delete old file
+                                try:
+                                        os.remove(imagepath)
+                                except Exception:
+                                        pass
+                        else:
+                                buffer.insert(end_iter, special_text)
+                        use_other_tags = False
                 else:
                         #it's a url

trunk/src/gajim.py

@@ -1824 +1824 @@
                         r'(?<!\w)' r'_[^\s_]' r'([^_]*[^\s_])?' r'_(?!\w)'
 
+                latex = r'|\$\$.*\$\$'
+                
                 basic_pattern = links + mail
+                
+                if gajim.config.get('use_latex'):
+                        basic_pattern += latex
+                
                 if gajim.config.get('ascii_formatting'):
                         basic_pattern += formatting