diff options
Diffstat (limited to 'app-editors/gedit-plugins/files')
| -rw-r--r-- | app-editors/gedit-plugins/files/gedit-plugins-3.8.3-terminal-background.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/app-editors/gedit-plugins/files/gedit-plugins-3.8.3-terminal-background.patch b/app-editors/gedit-plugins/files/gedit-plugins-3.8.3-terminal-background.patch new file mode 100644 index 000000000000..9dc162fd9807 --- /dev/null +++ b/app-editors/gedit-plugins/files/gedit-plugins-3.8.3-terminal-background.patch @@ -0,0 +1,11 @@ +--- plugins/terminal/terminal.py~ 2013-06-18 12:16:09.000000000 +0200 ++++ plugins/terminal/terminal.py 2013-10-26 14:49:48.619158171 +0200 +@@ -58,8 +58,6 @@ + self.system_settings.connect("changed::monospace-font-name", self.font_changed) + + self._vte = Vte.Terminal() +- self._vte.set_background_image(None) +- self._vte.set_background_transparent(False) + self.reconfigure_vte() + self._vte.set_size(self._vte.get_column_count(), 5) + self._vte.set_size_request(200, 50) |