[Added] Space after standard options

Moderator: GZDoom Developers

Space after standard options

Postby m8f » Sat Aug 31, 2019 10:54 am

Rationale:
When a mod adds a custom option menu, it adds a space before it, like this:
Code: Select allExpand view
AddOptionMenu OptionsMenu
{
  StaticText ""
  Submenu "$MYTITLE", MyOptions
}


to prevent custom option menu being in the same block as the last entries in the
standard options list. It's okay.

But when more than one such mod is loaded, each one of them adds a space before
their option menu entry, and Options Menu becomes unnecessary bloated.

This simple edit allows mods to not add a space, and still be separated from
standard options.

PR

/bikeshedding
User avatar
m8f
the dreamer
 
 
 
Joined: 29 Dec 2017
Discord: m8f#0629
Github ID: mmaulwurff

Re: Space after standard options

Postby Major Cooke » Sat Aug 31, 2019 12:43 pm

Please and thank you! This has bugged me to NO END.
User avatar
Major Cooke
Do unto others as you would have unto you. Judge yourself first.
 
Joined: 28 Jan 2007

Re: Space after standard options

Postby Blue Shadow » Sat Aug 31, 2019 1:18 pm

+1 from me.
User avatar
Blue Shadow
 
 
 
Joined: 14 Nov 2010
Operating System: Windows 10/8.1/8 64-bit
Graphics Processor: ATI/AMD (Modern GZDoom)

Re: Space after standard options

Postby Marisa Kirisame » Sat Aug 31, 2019 1:42 pm

Oh my god this would be a blessing.
User avatar
Marisa Kirisame
ZScript Magician
 
 
 
Joined: 08 Feb 2008
Location: Vigo, Galicia
Discord: Marisa Kirisame#4689
Twitch ID: magusmarisa
Github ID: OrdinaryMagician
Operating System: Other Linux 64-bit
Graphics Processor: nVidia with Vulkan support

Re: Space after standard options

Postby Rachael » Sat Aug 31, 2019 3:32 pm

Closing because added.
User avatar
Rachael
Webmaster
 
Joined: 13 Jan 2004
Discord: Rachael#3767
Twitch ID: madamerachelle
Github ID: madame-rachelle
Graphics Processor: nVidia with Vulkan support


Return to Closed Feature Suggestions

Who is online

Users browsing this forum: Majestic-12 [Bot] and 1 guest