desktop-packages team mailing list archive

[Adi Roiban <adi@xxxxxxxxx>]

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gedit in Ubuntu.
https://bugs.launchpad.net/bugs/873935

Title:
  The embedded terminal is not using the default gnome terminal profile

Status in “gedit” package in Ubuntu:
  New

Bug description:
  As far as I remember, in previous version of Gedit, the embedded
  terminal was using the default gnome terminal profile for general
  settings.

  In the latest version, it looks like it uses a custom profile and
  there is no way to configure that profile.

  ProblemType: Bug
  DistroRelease: Ubuntu 11.10
  Package: gedit 3.2.0-0ubuntu1
  ProcVersionSignature: Ubuntu 3.0.0-12.20-generic 3.0.4
  Uname: Linux 3.0.0-12-generic i686
  NonfreeKernelModules: wl
  ApportVersion: 1.23-0ubuntu3
  Architecture: i386
  Date: Fri Oct 14 10:57:27 2011
  ExecutablePath: /usr/bin/gedit
  InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Beta i386 (20110831)
  SourcePackage: gedit
  UpgradeStatus: Upgraded to oneiric on 2011-10-09 (4 days ago)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/873935/+subscriptions