Notice: Any messages purporting to come from this site telling you that your password has expired, or that you need to "verify" your details, making threats, or asking for money, are
spam. We do not email users with any such messages. If you have lost your password you can obtain a new one by using the
password reset link.
Entire forum
➜ MUSHclient
➜ General
➜ World border sizing
It is now over 60 days since the last post. This thread is closed.
Refresh page
| Posted by
| Thenick
(3 posts) Bio
|
| Date
| Wed 29 Jul 2020 04:36 AM (UTC) |
| Message
| How do you change the thickness of the borders on world and text boxes in Mushclient?
I recently had a computer catastrophe on my MUSHclient computer. I just migrated it to another computer and ever since then, all of the worlds and the pop-up text boxes have these THICK CHUNKY BORDERS. The border of Mushclient.exe itself is a thin size and other programs are thin size, but the worlds have these borders.
On version 5.05 | | Top |
|
| Posted by
| Fiendish
USA (2,533 posts) Bio
Global Moderator |
| Date
| Reply #1 on Wed 29 Jul 2020 07:24 PM (UTC) |
| Message
| | Can you show some screenshots of what you're talking about? We can't see over your shoulder. |
https://github.com/fiendish/aardwolfclientpackage | | Top |
|
| Posted by
| Thenick
(3 posts) Bio
|
| Date
| Reply #2 on Wed 29 Jul 2020 11:18 PM (UTC) |
| Message
| Sure.
Here's a picture.
https://pasteboard.co/JjXWlI7.bmp
Basically, every other program that pops up windows has these super thin, barely-a-pixel-wide edges. Paint, browsers, the taskbar, everything in Windows.
But in MUSHclient, while the EXTERIOR borders are razor thin, every single world has these super thick thick thick windows.
If you look at these images, the borders of each world are so much more thick than anything else. They're half as thick as the scroll bar!
I recently started using MUSHclient on a Windows 10 computer and it seems that all the window borders on every program default to being thin, but for whatever reason, the MUSHclient windows (which used to be thin) are now these thick thick edges.
I don't know if there's an option or setting or some way to change that. I looked up borders and windows but that's a hot topic for scripting, so if this question was answered somewhere else, I couldn't find it after putting in some effort. | | Top |
|
| Posted by
| Fiendish
USA (2,533 posts) Bio
Global Moderator |
| Date
| Reply #3 on Thu 30 Jul 2020 05:09 AM (UTC) |
| Message
| | I believe that this is a known issue with MDI child windows not being themed in Windows 10. |
https://github.com/fiendish/aardwolfclientpackage | | Top |
|
| Posted by
| Thenick
(3 posts) Bio
|
| Date
| Reply #4 on Thu 30 Jul 2020 08:14 AM (UTC) |
| Message
| Oh, so no answers for now?
Thanks for the answer! | | Top |
|
| Posted by
| Nick Gammon
Australia (23,070 posts) Bio
Forum Administrator |
| Date
| Reply #5 on Tue 04 Aug 2020 12:01 AM (UTC) |
| Message
| |
The dates and times for posts above are shown in Universal Co-ordinated Time (UTC).
To show them in your local time you can join the forum, and then set the 'time correction' field in your profile to the number of hours difference between your location and UTC time.
15,638 views.
It is now over 60 days since the last post. This thread is closed.
Refresh page
![[Go to top]](/images/gototop.gif)
top