margins, ui fixes

This commit is contained in:
Sen 2025-03-20 01:14:54 +01:00
parent 3d1c68210c
commit 80cf16ada5
8 changed files with 46 additions and 34 deletions

View file

@ -36,7 +36,7 @@ public class Toggle extends Element {
if((this.value = (ctrl || (btn == Button.MOUSE_MIDDLE)) ? this.def : !this.value) != prev) {
// this.type = this.value != 0 ? ElemType.TOGGLE_ON : ElemType.TOGGLE_OFF;
// gui_update_style(this, 1);
this.r_dirty = true;
// this.r_dirty = true;
this.func.use(this, this.value);
this.formatText();
this.playSound();