Referencing the other thread. v7.71 enables the new bitmasks but the /help lists only those up through 16.
1 Left mouse button
2 Either Ctrl key
4 Either Shift key
8 Either Alt key
16 Right mouse button
32 Middle mouse button
64 Right Shift key
128 Right Ctrl key
256 Right Alt key
4096 Left Shift
8192 Left Ctrl
16384 Left Alt
I'm taking it on faith that 32 is the mouse's middle button, because I don't have one. A middle button, not a mouse.
Some navigation keys are missing or incomplete. For Ctrl+Home and Ctrl+End the description reads as if it applies only to the editbox, but is in a section outside of "Editbox keys". And then a lot of editbox and script editor navigation keys are missing, such as Ctrl+Backspace, Shift+Home/End, shift+leftclick, Ctrl+Left/Right Arrows, etc
I'm used to seeing these described as arrow, so took me a little bit to figure out what 'cursor' meant here, since that usually means the position where the cursor is blinking. Likewise figuring out that 'copy' in several places means 'holding the left mouse button down'
For the items explained in other pages, can simply have a hyperlink instead of repeating the description
Recently added: $server().connect and $server().minimized corresponding to the new server list option
Added a long time ago: /window -T I think it's supposed to allow the shift + tab option for nicklist which toggle the nicklist (sidelistbox) on/off when you have it to auto hide. I couldn't get that behavior to work.
#mircscripting @ irc.swiftirc.net == the best mIRC help channel
I still believe that open-sourcing the help file on Github would not be a major Intellectual Property issue, but would enable the community to update the help file contents for the benefit of all.
And I would also say the same for servers.ini - putting this on Github would allow the community to make servers.ini both more comprehensive and reflect the churn of IRC servers. I suspect that this would also result in a community member creating a script to update existing users servers.ini file from a new servers.ini file downloaded from Github.
All that said, this is entirely up to Khaled (since he owns the IP) and it is completely understandable (and completely within his rights) if he decides he doesn't wish to open source these two items.