From 670cd42a1a43353e768096ee8839c2d6e1d7e4ca Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Mon, 4 Nov 2002 15:52:21 +0000
Subject: [PATCH] Expand list to show program when an error occurrs.

git-svn-id: http://dom-editor.googlecode.com/svn/branches/Gtk2@424 ef21e15d-ca94-4315-9c45-0d95b1b2e117
---
 Dome/List.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Dome/List.py b/Dome/List.py
index 60bfc1c..b584791 100644
--- a/Dome/List.py
+++ b/Dome/List.py
@@ -192,7 +192,9 @@ class List(g.VBox):
 		del sel
 		
 	def set_innermost_failure(self, op):
-		self.show_prog(op.get_program())
+		prog = op.get_program()
+		print "list: set_innermost_failure:", prog
+		self.show_prog(prog)
 	
 	def destroy(self):
 		self.view.lists.remove(self)
@@ -320,6 +322,10 @@ class List(g.VBox):
 	
 	def show_prog(self, prog):
 		path = self.prog_to_path[prog]
+		partial = []
+		for p in path[:-1]:
+			partial.append(p)
+			self.tree.expand_row(tuple(partial), FALSE)
 		iter = self.prog_model.get_iter(path)
 		self.tree.get_selection().select_iter(iter)
 
-- 
2.11.4.GIT