+ restore_input_values: function() {
+ if (this.mode == mode_annotate && explorer.position in explorer.info_db) {
+ let info = explorer.info_db[explorer.position];
+ if (info != "(none)") {
+ this.inputEl.value = info;
+ this.recalc_input_lines();
+ }
+ } else if (this.mode == mode_portal && explorer.position in game.portals) {
+ let portal = game.portals[explorer.position]
+ this.inputEl.value = portal;
+ this.recalc_input_lines();
+ } else if (this.mode == mode_password) {
+ this.inputEl.value = this.password;
+ this.recalc_input_lines();
+ }
+ },