2024-06-27 00:41:45 +00:00
|
|
|
namespace MU3;
|
|
|
|
|
2024-07-04 12:39:11 +00:00
|
|
|
class patch_SystemUI: SystemUI {
|
|
|
|
class patch_Timer: Timer {
|
2024-07-02 01:35:45 +00:00
|
|
|
public patch_Timer(UITimer timer) : base(timer) { /* nop */ }
|
2024-06-27 00:41:45 +00:00
|
|
|
public new void execute() { /* nop */ }
|
|
|
|
public extern bool orig_get_show();
|
|
|
|
public extern void orig_set_show(bool value);
|
|
|
|
public new bool show {
|
|
|
|
get { return orig_get_show(); }
|
|
|
|
set { orig_set_show(false); }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|