};
Rakka.restoreScreen = function () {
- if (switchedArea == null) {
- throw new Error("Rakka.restoreScreen(): not switched");
- }
+ if (switchedArea != null) {
+ $("div.sideBar div.outline").show();
- $("div.sideBar div.outline").show();
+ $("p.redirection").show();
- $("p.redirection").show();
+ $(switchedArea).remove();
+ switchedArea = null;
- $(switchedArea).remove();
- switchedArea = null;
-
- $("div.body").children().show();
+ $("div.body").children().show();
+ }
return null;
};