summaryrefslogtreecommitdiff
path: root/plugins/externaltools/tools/functions.py
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/externaltools/tools/functions.py')
-rwxr-xr-xplugins/externaltools/tools/functions.py303
1 files changed, 303 insertions, 0 deletions
diff --git a/plugins/externaltools/tools/functions.py b/plugins/externaltools/tools/functions.py
new file mode 100755
index 00000000..0d2bfdbf
--- /dev/null
+++ b/plugins/externaltools/tools/functions.py
@@ -0,0 +1,303 @@
+# -*- coding: utf-8 -*-
+# Gedit External Tools plugin
+# Copyright (C) 2005-2006 Steve Frécinaux <[email protected]>
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+
+import os
+import gtk
+from gtk import gdk
+import gio
+import gedit
+#import gtksourceview
+from outputpanel import OutputPanel
+from capture import *
+
+def default(val, d):
+ if val is not None:
+ return val
+ else:
+ return d
+
+def current_word(document):
+ piter = document.get_iter_at_mark(document.get_insert())
+ start = piter.copy()
+
+ if not piter.starts_word() and (piter.inside_word() or piter.ends_word()):
+ start.backward_word_start()
+
+ if not piter.ends_word() and piter.inside_word():
+ piter.forward_word_end()
+
+ return (start, piter)
+
+# ==== Capture related functions ====
+def run_external_tool(window, node):
+ # Configure capture environment
+ try:
+ cwd = os.getcwd()
+ except OSError:
+ cwd = os.getenv('HOME');
+
+ capture = Capture(node.command, cwd)
+ capture.env = os.environ.copy()
+ capture.set_env(GEDIT_CWD = cwd)
+
+ view = window.get_active_view()
+ if view is not None:
+ # Environment vars relative to current document
+ document = view.get_buffer()
+ uri = document.get_uri()
+
+ # Current line number
+ piter = document.get_iter_at_mark(document.get_insert())
+ capture.set_env(GEDIT_CURRENT_LINE_NUMBER=str(piter.get_line() + 1))
+
+ # Current line text
+ piter.set_line_offset(0)
+ end = piter.copy()
+
+ if not end.ends_line():
+ end.forward_to_line_end()
+
+ capture.set_env(GEDIT_CURRENT_LINE=piter.get_text(end))
+
+ # Selected text (only if input is not selection)
+ if node.input != 'selection' and node.input != 'selection-document':
+ bounds = document.get_selection_bounds()
+
+ if bounds:
+ capture.set_env(GEDIT_SELECTED_TEXT=bounds[0].get_text(bounds[1]))
+
+ bounds = current_word(document)
+ capture.set_env(GEDIT_CURRENT_WORD=bounds[0].get_text(bounds[1]))
+
+ capture.set_env(GEDIT_CURRENT_DOCUMENT_TYPE=document.get_mime_type())
+
+ if uri is not None:
+ gfile = gio.File(uri)
+ scheme = gfile.get_uri_scheme()
+ name = os.path.basename(uri)
+ capture.set_env(GEDIT_CURRENT_DOCUMENT_URI = uri,
+ GEDIT_CURRENT_DOCUMENT_NAME = name,
+ GEDIT_CURRENT_DOCUMENT_SCHEME = scheme)
+ if gedit.utils.uri_has_file_scheme(uri):
+ path = gfile.get_path()
+ cwd = os.path.dirname(path)
+ capture.set_cwd(cwd)
+ capture.set_env(GEDIT_CURRENT_DOCUMENT_PATH = path,
+ GEDIT_CURRENT_DOCUMENT_DIR = cwd)
+
+ documents_uri = [doc.get_uri()
+ for doc in window.get_documents()
+ if doc.get_uri() is not None]
+ documents_path = [gio.File(uri).get_path()
+ for uri in documents_uri
+ if gedit.utils.uri_has_file_scheme(uri)]
+ capture.set_env(GEDIT_DOCUMENTS_URI = ' '.join(documents_uri),
+ GEDIT_DOCUMENTS_PATH = ' '.join(documents_path))
+
+ flags = capture.CAPTURE_BOTH
+
+ if not node.has_hash_bang():
+ flags |= capture.CAPTURE_NEEDS_SHELL
+
+ capture.set_flags(flags)
+
+ # Get input text
+ input_type = node.input
+ output_type = node.output
+
+ # Get the panel
+ panel = window.get_data("ExternalToolsPluginWindowData")._output_buffer
+ panel.clear()
+
+ if output_type == 'output-panel':
+ panel.show()
+
+ # Assign the error output to the output panel
+ panel.set_process(capture)
+
+ if input_type != 'nothing' and view is not None:
+ if input_type == 'document':
+ start, end = document.get_bounds()
+ elif input_type == 'selection' or input_type == 'selection-document':
+ try:
+ start, end = document.get_selection_bounds()
+
+ print start, end
+ except ValueError:
+ if input_type == 'selection-document':
+ start, end = document.get_bounds()
+
+ if output_type == 'replace-selection':
+ document.select_range(start, end)
+ else:
+ start = document.get_iter_at_mark(document.get_insert())
+ end = start.copy()
+
+ elif input_type == 'line':
+ start = document.get_iter_at_mark(document.get_insert())
+ end = start.copy()
+ if not start.starts_line():
+ start.set_line_offset(0)
+ if not end.ends_line():
+ end.forward_to_line_end()
+ elif input_type == 'word':
+ start = document.get_iter_at_mark(document.get_insert())
+ end = start.copy()
+ if not start.inside_word():
+ panel.write(_('You must be inside a word to run this command'),
+ panel.command_tag)
+ return
+ if not start.starts_word():
+ start.backward_word_start()
+ if not end.ends_word():
+ end.forward_word_end()
+
+ input_text = document.get_text(start, end)
+ capture.set_input(input_text)
+
+ # Assign the standard output to the chosen "file"
+ if output_type == 'new-document':
+ tab = window.create_tab(True)
+ view = tab.get_view()
+ document = tab.get_document()
+ pos = document.get_start_iter()
+ capture.connect('stdout-line', capture_stdout_line_document, document, pos)
+ document.begin_user_action()
+ view.set_editable(False)
+ view.set_cursor_visible(False)
+ elif output_type != 'output-panel' and output_type != 'nothing' and view is not None:
+ document.begin_user_action()
+ view.set_editable(False)
+ view.set_cursor_visible(False)
+
+ if output_type == 'insert':
+ pos = document.get_iter_at_mark(document.get_mark('insert'))
+ elif output_type == 'replace-selection':
+ document.delete_selection(False, False)
+ pos = document.get_iter_at_mark(document.get_mark('insert'))
+ elif output_type == 'replace-document':
+ document.set_text('')
+ pos = document.get_end_iter()
+ else:
+ pos = document.get_end_iter()
+ capture.connect('stdout-line', capture_stdout_line_document, document, pos)
+ elif output_type != 'nothing':
+ capture.connect('stdout-line', capture_stdout_line_panel, panel)
+ document.begin_user_action()
+
+ capture.connect('stderr-line', capture_stderr_line_panel, panel)
+ capture.connect('begin-execute', capture_begin_execute_panel, panel, view, node.name)
+ capture.connect('end-execute', capture_end_execute_panel, panel, view, output_type)
+
+ # Run the command
+ capture.execute()
+
+ if output_type != 'nothing':
+ document.end_user_action()
+
+class MultipleDocumentsSaver:
+ def __init__(self, window, docs, node):
+ self._window = window
+ self._node = node
+ self._error = False
+
+ self._counter = len(docs)
+ self._signal_ids = {}
+ self._counter = 0
+
+ signals = {}
+
+ for doc in docs:
+ signals[doc] = doc.connect('saving', self.on_document_saving)
+ gedit.commands.save_document(window, doc)
+ doc.disconnect(signals[doc])
+
+ def on_document_saving(self, doc, size, total_size):
+ self._counter += 1
+ self._signal_ids[doc] = doc.connect('saved', self.on_document_saved)
+
+ def on_document_saved(self, doc, error):
+ if error:
+ self._error = True
+
+ doc.disconnect(self._signal_ids[doc])
+ del self._signal_ids[doc]
+
+ self._counter -= 1
+
+ if self._counter == 0 and not self._error:
+ run_external_tool(self._window, self._node)
+
+def capture_menu_action(action, window, node):
+ if node.save_files == 'document' and window.get_active_document():
+ MultipleDocumentsSaver(window, [window.get_active_document()], node)
+ return
+ elif node.save_files == 'all':
+ MultipleDocumentsSaver(window, window.get_documents(), node)
+ return
+
+ run_external_tool(window, node)
+
+def capture_stderr_line_panel(capture, line, panel):
+ if not panel.visible():
+ panel.show()
+
+ panel.write(line, panel.error_tag)
+
+def capture_begin_execute_panel(capture, panel, view, label):
+ view.get_window(gtk.TEXT_WINDOW_TEXT).set_cursor(gdk.Cursor(gdk.WATCH))
+
+ panel['stop'].set_sensitive(True)
+ panel.clear()
+ panel.write(_("Running tool:"), panel.italic_tag);
+ panel.write(" %s\n\n" % label, panel.bold_tag);
+
+def capture_end_execute_panel(capture, exit_code, panel, view, output_type):
+ panel['stop'].set_sensitive(False)
+
+ if output_type in ('new-document','replace-document'):
+ doc = view.get_buffer()
+ start = doc.get_start_iter()
+ end = start.copy()
+ end.forward_chars(300)
+
+ mtype = gio.content_type_guess(data=doc.get_text(start, end))
+ lmanager = gedit.get_language_manager()
+
+ language = lmanager.guess_language(doc.get_uri(), mtype)
+
+ if language is not None:
+ doc.set_language(language)
+
+ view.get_window(gtk.TEXT_WINDOW_TEXT).set_cursor(gdk.Cursor(gdk.XTERM))
+ view.set_cursor_visible(True)
+ view.set_editable(True)
+
+ if exit_code == 0:
+ panel.write("\n" + _("Done.") + "\n", panel.italic_tag)
+ else:
+ panel.write("\n" + _("Exited") + ":", panel.italic_tag)
+ panel.write(" %d\n" % exit_code, panel.bold_tag)
+
+def capture_stdout_line_panel(capture, line, panel):
+ panel.write(line)
+
+def capture_stdout_line_document(capture, line, document, pos):
+ document.insert(pos, line)
+
+# ex:ts=4:et: