2 # Check if some file or directory has changed
7 &read_file("$module_config_directory/change", \%change);
8 local $t = $change{$_[0]->{'file'}};
9 local @st = stat($_[0]->{'file'});
11 if ($t && $st[9] != $t) {
20 $change{$_[0]->{'file'}} = $st[9];
21 &write_file("$module_config_directory/change", \%change);
25 sub show_change_dialog
27 print &ui_table_row($text{'change_file'},
28 &ui_textbox("file", $_[0]->{'file'}, 30)." ".
29 &file_chooser_button("file", 0), 3);
32 sub parse_change_dialog
34 $_[0]->{'file'} = $in{'file'};