diff path.h @ 35351:92f6fc87ddc8

Fix segmentation fault with mouse button release. This happens if, after selecting a file from the file selector, the mouse pointer happens to be over a GUI item when being released (an item which hasn't been previously selected).
author ib
date Thu, 22 Nov 2012 14:01:41 +0000
parents 8e7537586f0b
children
line wrap: on
line diff