diff doc/main_window_file_pane.html @ 1196:4fe35e07308d

handle the case when io.open() fails
author nadvornik
date Sun, 07 Dec 2008 13:28:04 +0000
parents 41927ee12b0a
children
line wrap: on
line diff