2 Commits

Author	SHA1	Message	Date
Virgil Dupras	a056be0842	Fixed UI glitch introduced by the move from outline to table for results (the selected row would not be kept visible after refreshes).	2010-09-26 12:09:50 +02:00
Virgil Dupras	0d8ed92a68	Converted the result tree into a result table. ... --HG-- rename : cocoa/base/PyResultTree.h => cocoa/base/PyResultTable.h rename : cocoa/base/ResultOutline.h => cocoa/base/ResultTable.h rename : cocoa/base/ResultOutline.m => cocoa/base/ResultTable.m rename : core/gui/result_tree.py => core/gui/result_table.py	2010-09-24 15:48:59 +02:00