← Back to branch summary

~cjo20/terminator/savelayout

« back to all changes in this revision

Viewing changes to terminator

  • Committer: Chris Jones
  • Date: 2008-04-09 23:22:20 UTC
  • Revision ID: cmsj@kodachi-20080409232220-pq8o38dvuoaw3kqf
since the gnome proxy will always be accessible by gconf and anyone else can override with , we don't need to support defaults for all of these proxy related things, and we certainly have no need of watching them in gconf. Just work the string out and do it already

Show diffs side-by-side

added added

removed removed

Lines of Context:
terminator
130
130
      self._vte.connect ("child-exited", self.spawn_child)
131
131
    # We need to support "left" because some buggy versions of gnome-terminal
132
132
    #  set it in some situations
133
 
    if exit_action in ("close", "left"):
 
133
    elif exit_action in ("close", "left"):
134
134
      self._vte.connect ("child-exited", lambda close_term: self.terminator.closeterm (self))
135
135
 
136
136
    self._vte.add_events (gtk.gdk.ENTER_NOTIFY_MASK)
152
152
    if self.matches['nntp'] == -1:
153
153
      self.matches['nntp'] = self._vte.match_add ('''\<news:[-A-Z\^_a-z{|}~!"#$%&'()*+,./0-9;:=?`]+@[-A-Za-z0-9.]+(:[0-9]+)?\>''')
154
154
 
 
155
    env_proxy = os.getenv ('http_proxy')
 
156
    if not env_proxy:
 
157
      os.putenv ('http_proxy', self.conf.http_proxy)
155
158
    self.spawn_child ()
156
159
 
157
160
  def spawn_child (self, event=None):