mirror of https://github.com/adamdruppe/arsd.git
random fixes
This commit is contained in:
parent
54ceabc404
commit
db7db199a2
|
|
@ -671,6 +671,9 @@ class DiscordGatewayConnection {
|
|||
|
||||
if(closeEvent.code == 1006 || closeEvent.code == 1001) {
|
||||
reconnectAndResume();
|
||||
} else if(closeEvent.code == 4004) {
|
||||
// auth failed
|
||||
throw new Exception("Authentication failed");
|
||||
} else {
|
||||
// otherwise, unless we were asked by the api user to close, let's try reconnecting
|
||||
// since discord just does discord things.
|
||||
|
|
|
|||
10
minigui.d
10
minigui.d
|
|
@ -7555,6 +7555,11 @@ class HorizontalScrollbar : ScrollbarBase {
|
|||
}
|
||||
}
|
||||
|
||||
version(custom_widgets)
|
||||
override void dpiChanged() {
|
||||
thumb.thumbHeight = scaleWithDpi(16);
|
||||
}
|
||||
|
||||
override int minHeight() { return scaleWithDpi(16); }
|
||||
override int maxHeight() { return scaleWithDpi(16); }
|
||||
override int minWidth() { return scaleWithDpi(48); }
|
||||
|
|
@ -7677,6 +7682,11 @@ class VerticalScrollbar : ScrollbarBase {
|
|||
}
|
||||
}
|
||||
|
||||
version(custom_widgets)
|
||||
override void dpiChanged() {
|
||||
thumb.thumbWidth = scaleWithDpi(16);
|
||||
}
|
||||
|
||||
override int minWidth() { return scaleWithDpi(16); }
|
||||
override int maxWidth() { return scaleWithDpi(16); }
|
||||
override int minHeight() { return scaleWithDpi(48); }
|
||||
|
|
|
|||
Loading…
Reference in New Issue