diff --git a/gtk-recordmydesktop/src/rmdPrefsWidget.py b/gtk-recordmydesktop/src/rmdPrefsWidget.py index 0257ba9..e8a493f 100644 --- a/gtk-recordmydesktop/src/rmdPrefsWidget.py +++ b/gtk-recordmydesktop/src/rmdPrefsWidget.py @@ -323,11 +323,33 @@ class prefsWidget(object): for i in range(4): self.labelbox[i].show() self.notebook.show() + + def which(self,program): + import os + def is_exe(fpath): + return os.path.exists(fpath) and os.access(fpath, os.X_OK) + + fpath, fname = os.path.split(program) + if fpath: + if is_exe(program): + return program + else: + for path in os.environ["PATH"].split(os.pathsep): + exe_file = os.path.join(path, program) + if is_exe(exe_file): + return exe_file + + return None + + def __runJackLSP__(self,button=None): if button!=None: self.__getSelectedPorts__() self.ports=[] failed=0 + if self.which('jack_lsp') == None: + self.jack_button.set_sensitive(False) + return (stdin,stdout,stderr)=os.popen3(['jack_lsp'],'t') ports=stdout.readlines() stdin.close()