$ref_files{$key} = "$dir".q|node7.html|;
$noresave{$key} = "$nosave";
-$key = q/fn:WGroup.is_fullscreen/;
-$ref_files{$key} = "$dir".q|node7.html|;
-$noresave{$key} = "$nosave";
-
$key = q/fn:WWindow.p_move/;
$ref_files{$key} = "$dir".q|node7.html|;
$noresave{$key} = "$nosave";
$ref_files{$key} = "$dir".q|node7.html|;
$noresave{$key} = "$nosave";
-$key = q/fn:WTiling.split_top/;
+$key = q/fn:WSplitSplit.flip/;
$ref_files{$key} = "$dir".q|node7.html|;
$noresave{$key} = "$nosave";
-$key = q/fn:WSplitSplit.flip/;
+$key = q/fn:WTiling.split_top/;
$ref_files{$key} = "$dir".q|node7.html|;
$noresave{$key} = "$nosave";