# -*- coding: utf8 -*-
# terminal.py - Embeded VTE terminal for gedit
# This file is part of gedit
#
# Copyright (C) 2005-2006 - Paolo Borelli
#
# gedit 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.
#
# gedit 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 gedit; if not, write to the Free Software
# Foundation, Inc., 51 Franklin St, Fifth Floor,
# Boston, MA 02110-1301 USA
import os
import gi
gi.require_version('Gedit', '3.0')
gi.require_version('Gtk', '3.0')
gi.require_version('Vte', '2.91')
from gi.repository import GObject, GLib, Gio, Pango, Gdk, Gtk, Gedit, Vte
from gpdefs import *
try:
import gettext
gettext.bindtextdomain('gedit-plugins')
gettext.textdomain('gedit-plugins')
_ = gettext.gettext
except:
_ = lambda s: s
class GeditTerminal(Vte.Terminal):
defaults = {
'audible_bell' : False,
}
TARGET_URI_LIST = 200
def __init__(self):
Vte.Terminal.__init__(self)
self.set_size(self.get_column_count(), 5)
self.set_size_request(200, 50)
tl = Gtk.TargetList.new([])
tl.add_uri_targets(self.TARGET_URI_LIST)
self.drag_dest_set(Gtk.DestDefaults.HIGHLIGHT | Gtk.DestDefaults.DROP,
[], Gdk.DragAction.DEFAULT | Gdk.DragAction.COPY)
self.drag_dest_set_target_list(tl)
self.profile_settings = self.get_profile_settings()
self.profile_settings.connect("changed", self.on_profile_settings_changed)
self.system_settings = Gio.Settings.new("org.gnome.desktop.interface")
self.system_settings.connect("changed::monospace-font-name", self.font_changed)
self.reconfigure_vte()
self.spawn_sync(Vte.PtyFlags.DEFAULT, None, [Vte.get_user_shell()], None, GLib.SpawnFlags.SEARCH_PATH, None, None, None)
def do_drag_data_received(self, drag_context, x, y, data, info, time):
if info == self.TARGET_URI_LIST:
self.feed_child(' '.join(["'" + Gio.file_new_for_uri(item).get_path() + "'" for item in Gedit.utils_drop_get_uris(data)]), -1)
Gtk.drag_finish(drag_context, True, False, time);
else:
Vte.Terminal.do_drag_data_received(self, drag_context, x, y, data, info, time)
def settings_try_new(self, schema):
schemas = Gio.Settings.list_schemas()
if not schemas:
return None
for s in schemas:
if s == schema:
return Gio.Settings.new(schema)
return None
def get_profile_settings(self):
profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")
if profiles:
default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
default_path)
else:
settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")
return settings
def get_font(self):
if self.profile_settings.get_boolean("use-system-font"):
font = self.system_settings.get_string("monospace-font-name")
else:
font = self.profile_settings.get_string("font")
return font
def font_changed(self, settings=None, key=None):
font = self.get_font()
font_desc = Pango.font_description_from_string(font)
self.set_font(font_desc)
def reconfigure_vte(self):
# Fonts
self.font_changed()
# colors
context = self.get_style_context()
fg = context.get_color(Gtk.StateFlags.NORMAL)
bg = context.get_background_color(Gtk.StateFlags.NORMAL)
palette = []
if not self.profile_settings.get_boolean("use-theme-colors"):
fg_color = self.profile_settings.get_string("foreground-color")
if fg_color != "":
fg = Gdk.RGBA()
parsed = fg.parse(fg_color)
bg_color = self.profile_settings.get_string("background-color")
if bg_color != "":
bg = Gdk.RGBA()
parsed = bg.parse(bg_color)
str_colors = self.profile_settings.get_strv("palette")
if str_colors:
for str_color in str_colors:
try:
rgba = Gdk.RGBA()
rgba.parse(str_color)
palette.append(rgba)
except:
palette = []
break
self.set_colors(fg, bg, palette)
self.set_cursor_blink_mode(self.profile_settings.get_enum("cursor-blink-mode"))
self.set_cursor_shape(self.profile_settings.get_enum("cursor-shape"))
self.set_audible_bell(self.profile_settings.get_boolean("audible-bell"))
self.set_allow_bold(self.profile_settings.get_boolean("allow-bold"))
self.set_scroll_on_keystroke(self.profile_settings.get_boolean("scroll-on-keystroke"))
self.set_scroll_on_output(self.profile_settings.get_boolean("scroll-on-output"))
self.set_audible_bell(self.defaults['audible_bell'])
if self.profile_settings.get_boolean("scrollback-unlimited"):
lines = -1
else:
lines = self.profile_settings.get_int("scrollback-lines")
self.set_scrollback_lines(lines)
def on_profile_settings_changed(self, settings, key):
self.reconfigure_vte()
class GeditTerminalPanel(Gtk.Box):
"""VTE terminal which follows gnome-terminal default profile options"""
__gsignals__ = {
"populate-popup": (
GObject.SignalFlags.RUN_LAST,
None,
(GObject.TYPE_OBJECT,)
)
}
def __init__(self):
Gtk.Box.__init__(self)
self._accel_base = '<gedit>/plugins/terminal'
self._accels = {
'copy-clipboard': [Gdk.KEY_C, Gdk.ModifierType.CONTROL_MASK | Gdk.ModifierType.SHIFT_MASK, self.copy_clipboard],
'paste-clipboard': [Gdk.KEY_V, Gdk.ModifierType.CONTROL_MASK | Gdk.ModifierType.SHIFT_MASK, self.paste_clipboard]
}
for name in self._accels:
path = self._accel_base + '/' + name
accel = Gtk.AccelMap.lookup_entry(path)
if not accel[0]:
Gtk.AccelMap.add_entry(path, self._accels[name][0], self._accels[name][1])
self.add_terminal()
def add_terminal(self):
self._vte = GeditTerminal()
self._vte.show()
self.pack_start(self._vte, True, True, 0)
self._vte.connect("child-exited", self.on_vte_child_exited)
self._vte.connect("key-press-event", self.on_vte_key_press)
self._vte.connect("button-press-event", self.on_vte_button_press)
self._vte.connect("popup-menu", self.on_vte_popup_menu)
scrollbar = Gtk.Scrollbar.new(Gtk.Orientation.VERTICAL, self._vte.get_vadjustment())
scrollbar.show()
self.pack_start(scrollbar, False, False, 0)
def on_vte_child_exited(self, term, status):
for child in self.get_children():
child.destroy()
self.add_terminal()
self._vte.grab_focus()
def do_grab_focus(self):
self._vte.grab_focus()
def on_vte_key_press(self, term, event):
modifiers = event.state & Gtk.accelerator_get_default_mod_mask()
if event.keyval in (Gdk.KEY_Tab, Gdk.KEY_KP_Tab, Gdk.KEY_ISO_Left_Tab):
if modifiers == Gdk.ModifierType.CONTROL_MASK:
self.get_toplevel().child_focus(Gtk.DirectionType.TAB_FORWARD)
return True
elif modifiers == Gdk.ModifierType.CONTROL_MASK | Gdk.ModifierType.SHIFT_MASK:
self.get_toplevel().child_focus(Gtk.DirectionType.TAB_BACKWARD)
return True
for name in self._accels:
path = self._accel_base + '/' + name
entry = Gtk.AccelMap.lookup_entry(path)
if entry and entry[0] and entry[1].accel_key == event.keyval and entry[1].accel_mods == modifiers:
self._accels[name][2]()
return True
keyval_name = Gdk.keyval_name(Gdk.keyval_to_upper(event.keyval))
# Special case some Vte.Terminal shortcuts
# so the global shortcuts do not override them
if modifiers == Gdk.ModifierType.CONTROL_MASK and keyval_name in 'ACDEHKLRTUWZ':
return False
if modifiers == Gdk.ModifierType.MOD1_MASK and keyval_name in 'BF':
return False
return Gtk.accel_groups_activate(self.get_toplevel(),
event.keyval, modifiers)
def on_vte_button_press(self, term, event):
if event.button == 3:
self._vte.grab_focus()
self.make_popup(event)
return True
return False
def on_vte_popup_menu(self, term):
self.make_popup()
def create_popup_menu(self):
menu = Gtk.Menu()
item = Gtk.ImageMenuItem.new_from_stock(Gtk.STOCK_COPY, None)
item.connect("activate", lambda menu_item: self.copy_clipboard())
item.set_accel_path(self._accel_base + '/copy-clipboard')
item.set_sensitive(self._vte.get_has_selection())
menu.append(item)
item = Gtk.ImageMenuItem.new_from_stock(Gtk.STOCK_PASTE, None)
item.connect("activate", lambda menu_item: self.paste_clipboard())
item.set_accel_path(self._accel_base + '/paste-clipboard')
menu.append(item)
self.emit("populate-popup", menu)
menu.show_all()
return menu
def make_popup(self, event = None):
menu = self.create_popup_menu()
menu.attach_to_widget(self, None)
if event is not None:
menu.popup(None, None, None, None, event.button, event.time)
else:
menu.popup(None, None,
lambda m: Gedit.utils_menu_position_under_widget(m, self),
None,
0, Gtk.get_current_event_time())
menu.select_first(False)
def copy_clipboard(self):
self._vte.copy_clipboard()
self._vte.grab_focus()
def paste_clipboard(self):
self._vte.paste_clipboard()
self._vte.grab_focus()
def change_directory(self, path):
path = path.replace('\\', '\\\\').replace('"', '\\"')
self._vte.feed_child('cd "%s"\n' % path, -1)
self._vte.grab_focus()
class TerminalPlugin(GObject.Object, Gedit.WindowActivatable):
__gtype_name__ = "TerminalPlugin"
window = GObject.Property(type=Gedit.Window)
def __init__(self):
GObject.Object.__init__(self)
def do_activate(self):
self._panel = GeditTerminalPanel()
self._panel.connect("populate-popup", self.on_panel_populate_popup)
self._panel.show()
bottom = self.window.get_bottom_panel()
bottom.add_titled(self._panel, "GeditTerminalPanel", _("Terminal"))
def do_deactivate(self):
bottom = self.window.get_bottom_panel()
bottom.remove(self._panel)
def do_update_state(self):
pass
def get_active_document_directory(self):
doc = self.window.get_active_document()
if doc:
location = doc.get_file().get_location()
if location and location.has_uri_scheme("file"):
directory = location.get_parent()
return directory.get_path()
return None
def on_panel_populate_popup(self, panel, menu):
menu.prepend(Gtk.SeparatorMenuItem())
path = self.get_active_document_directory()
item = Gtk.MenuItem.new_with_mnemonic(_("C_hange Directory"))
item.connect("activate", lambda menu_item: panel.change_directory(path))
item.set_sensitive(path is not None)
menu.prepend(item)
# Let's conform to PEP8
# ex:ts=4:et: