Script Editor; Function Explorer; Now wider on very wide monitors

The Function Explorer to the right of Script Editors is now wider on very wide monitors (where the Script Editor width is more than 2000 pixels).

This is useful for Scripts that use very long function names.