equal
deleted
inserted
replaced
116 this._editstr = this.editstr; |
116 this._editstr = this.editstr; |
117 this.Value_elt.textContent = this.editstr; |
117 this.Value_elt.textContent = this.editstr; |
118 } |
118 } |
119 if(this.Shift_sub && this.shift != this._shift){ |
119 if(this.Shift_sub && this.shift != this._shift){ |
120 this._shift = this.shift; |
120 this._shift = this.shift; |
121 set_activation_state(this.Shift_sub, this.shift); |
121 set_activity_state(this.Shift_sub, this.shift); |
122 } |
122 } |
123 if(this.CapsLock_sub && this.caps != this._caps){ |
123 if(this.CapsLock_sub && this.caps != this._caps){ |
124 this._caps = this.caps; |
124 this._caps = this.caps; |
125 set_activation_state(this.CapsLock_sub, this.caps); |
125 set_activity_state(this.CapsLock_sub, this.caps); |
126 } |
126 } |
127 } |
127 } |
128 || |
128 || |
129 |
129 |
130 widget_defs("Keypad") { |
130 widget_defs("Keypad") { |