~jordilin/terminator/terminator-bookmarks

« back to all changes in this revision

Viewing changes to terminatorlib/terminal.py

  • Committer: Chris Jones
  • Date: 2010-05-15 13:51:20 UTC
  • Revision ID: cmsj@tenshu.net-20100515135120-5vmtdyafpdpra77i
Restore the command line -p option to specify a particular profile. This is then enforced as the default for new terminals

Show diffs side-by-side

added added

removed removed

Lines of Context:
159
159
            if self.config['http_proxy'] and self.config['http_proxy'] != '':
160
160
                os.putenv('http_proxy', self.config['http_proxy'])
161
161
 
162
 
    def set_profile(self, _widget, profile):
 
162
    def force_set_profile(self, widget, profile):
 
163
        """Forcibly set our profile"""
 
164
        self.set_profile(widget, profile, True)
 
165
 
 
166
    def set_profile(self, _widget, profile, force=False):
163
167
        """Set our profile"""
164
168
        if profile != self.config.get_profile():
165
 
            self.config.set_profile(profile)
 
169
            self.config.set_profile(profile, force)
166
170
            self.reconfigure()
167
171
 
168
172
    def get_profile(self):