$external_labels{$key} = "$URL/" . q|node7.html|;
$noresave{$key} = "$nosave";
-$key = q/fn:WGroup.is_fullscreen/;
-$external_labels{$key} = "$URL/" . q|node7.html|;
-$noresave{$key} = "$nosave";
-
$key = q/fn:WWindow.p_move/;
$external_labels{$key} = "$URL/" . q|node7.html|;
$noresave{$key} = "$nosave";
$external_labels{$key} = "$URL/" . q|node7.html|;
$noresave{$key} = "$nosave";
-$key = q/fn:WTiling.split_top/;
+$key = q/fn:WSplitSplit.flip/;
$external_labels{$key} = "$URL/" . q|node7.html|;
$noresave{$key} = "$nosave";
-$key = q/fn:WSplitSplit.flip/;
+$key = q/fn:WTiling.split_top/;
$external_labels{$key} = "$URL/" . q|node7.html|;
$noresave{$key} = "$nosave";
$external_latex_labels{$key} = q|6.1|;
$noresave{$key} = "$nosave";
-$key = q/fn:WGroup.is_fullscreen/;
-$external_latex_labels{$key} = q|6.1.3|;
-$noresave{$key} = "$nosave";
-
$key = q/fn:WWindow.p_move/;
$external_latex_labels{$key} = q|6.1.14|;
$noresave{$key} = "$nosave";