[gedit-plugins/gnome-2-32] [synctex] Use source_language id instead of name.
- From: Jose Aliste <jaliste src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins/gnome-2-32] [synctex] Use source_language id instead of name.
- Date: Sat, 18 Sep 2010 04:32:55 +0000 (UTC)
commit 4f5907dfca85643114d0ff15d13db51dee075b47
Author: Jose Aliste <jaliste src gnome org>
Date: Tue Aug 17 12:56:10 2010 -0400
[synctex] Use source_language id instead of name.
plugins/synctex/synctex/synctex.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/synctex/synctex/synctex.py b/plugins/synctex/synctex/synctex.py
index a71aa61..f3e92a3 100644
--- a/plugins/synctex/synctex/synctex.py
+++ b/plugins/synctex/synctex/synctex.py
@@ -186,7 +186,7 @@ class SynctexViewHelper:
def update_active(self):
# Activate the plugin only if the doc is a LaTeX file.
lang = self._doc.get_language()
- self.active = (lang is not None and lang.get_name() == 'LaTeX' and
+ self.active = (lang is not None and lang.get_id() == 'latex' and
self.out_gfile is not None)
if self.active and self.window_proxy is None:
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]