Debugger/DebugViewer.py

changeset 1926
474057fbefe0
parent 1843
0c00516e0403
child 2170
f4e0f6133ace
--- a/Debugger/DebugViewer.py	Sat Jun 30 17:03:09 2012 +0200
+++ b/Debugger/DebugViewer.py	Sun Jul 01 12:50:37 2012 +0200
@@ -32,6 +32,7 @@
 from .WatchPointViewer import WatchPointViewer
 
 import UI.PixmapCache
+import Preferences
 
 from E5Gui.E5TabWidget import E5TabWidget
 
@@ -232,6 +233,16 @@
         
         self.debugServer.clientStack.connect(self.handleClientStack)
         
+        self.__autoViewSource = Preferences.getDebugger("AutoViewSourceCode")
+        self.sourceButton.setVisible(not self.__autoViewSource)
+        
+    def preferencesChanged(self):
+        """
+        Public slot to handle the preferencesChanged signal.
+        """
+        self.__autoViewSource = Preferences.getDebugger("AutoViewSourceCode")
+        self.sourceButton.setVisible(not self.__autoViewSource)
+        
     def setDebugger(self, debugUI):
         """
         Public method to set a reference to the Debug UI.
@@ -355,6 +366,9 @@
         self.framenr = frmnr
         self.debugServer.remoteClientVariables(0, self.localsFilter, frmnr)
         
+        if self.__autoViewSource:
+            self.__showSource()
+        
     def __setGlobalsFilter(self):
         """
         Private slot to set the global variable filter

eric ide

mercurial