493
493
$widgets{op_titles} -> insert('end', $paths{$first}->get('titles'));
495
495
$file_menu->menu->entryconfigure($save_index, -state=>'normal'); # data
497
498
(-e $paths{$first}->get('file')) and plot('r', 0);
498
499
$top -> Unbusy unless $is_busy;
499
500
Echo("Read project description \`$file\'.");