diff gui/ui/gtk/tools.c @ 34518:d476fbab0a28

Fix bug with selected file in file selector. If files have been deleted since the last selection, the focussed row can be out of range.
author ib
date Fri, 27 Jan 2012 14:47:18 +0000
parents d9b805602aa1
children
line wrap: on
line diff