itdominator/terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add shortcuts for next/prev profile (Peter E Lind, LP#1314734)

Browse Source
This commit is contained in:
Stephen Boddy 2015-07-12 00:27:18 +02:00
commit 6ffafe81d1
3 changed files with 32 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
terminatorlib/config.py
View File

@ -189,7 +189,9 @@ DEFAULTS = {
'insert_number' : '',
'insert_padded' : '',
'edit_window_title': '',
'layout_launcher' : ''
'layout_launcher' : '',
'next_profile' : '',
'previous_profile' : ''
},
'profiles': {
'default': {

4
terminatorlib/prefseditor.py
View File

@ -147,7 +147,9 @@ class PrefsEditor:
'insert_number' : 'Insert terminal number',
'insert_padded' : 'Insert zero padded terminal number',
'edit_window_title': 'Edit window title',
'layout_launcher' : 'Open layout launcher window'
'layout_launcher' : 'Open layout launcher window',
'next_profile' : 'Switch to next profile',
'previous_profile' : 'Switch to previous profile'
}
def __init__ (self, term):

26
terminatorlib/terminal.py
View File

@ -196,6 +196,26 @@ class Terminal(gtk.VBox):
"""Return our profile name"""
return(self.config.profile)
def switch_to_next_profile(self):
profilelist = self.config.list_profiles()
list_length = len(profilelist)
if list_length > 1:
if profilelist.index(self.get_profile()) + 1 == list_length:
self.force_set_profile(False, profilelist[0])
else:
self.force_set_profile(False, profilelist[profilelist.index(self.get_profile()) + 1])
def switch_to_previous_profile(self):
profilelist = self.config.list_profiles()
list_length = len(profilelist)
if list_length > 1:
if profilelist.index(self.get_profile()) == 0:
self.force_set_profile(False, profilelist[list_length - 1])
else:
self.force_set_profile(False, profilelist[profilelist.index(self.get_profile()) - 1])
def get_cwd(self):
"""Return our cwd"""
return(self.terminator.pid_cwd(self.pid))
@ -1580,6 +1600,12 @@ class Terminal(gtk.VBox):
def key_zoom_in(self):
self.zoom_in()
def key_next_profile(self):
self.switch_to_next_profile()
def key_previous_profile(self):
self.switch_to_previous_profile()
def key_zoom_out(self):
self.zoom_out()