+
+function enable_toparea() {
+ $('#whitemask').hide();
+}
+
+function disable_editing() {
+ unlocked.contentEditable = false;
+}
+
+function enable_editing() {
+ unlocked.contentEditable = true;
+}
+
+function pause()
+{
+ // advanceButton.disabled = true;
+ // retractButton.disabled = true;
+ // cursorButton.disabled = true;
+ // bottomButton.disabled = true;
+ disable_toparea();
+ disable_editing();
+}
+
+function resume()
+{
+ // advanceButton.disabled = false;
+ // retractButton.disabled = false;
+ // cursorButton.disabled = false;
+ // bottomButton.disabled = false;
+ enable_toparea();
+ enable_editing();
+}
+