improved options dialog with searching options

[HUSSAR-mtrela]

• improved scrolling performance in gird control
• improved default padding in tooltips
• ignoring DEV files in root of the repo
• fixed UI layout/clipping issues in options dialog
• replaced tabs with collapsible list of options (see screenshot 1)
• add missing tooltips for a few options
• add searching/filtering of all options by their names or values (see screenshot 2 and 3)
• add possibility of creating new group of options, e.g. mods can hook the lua/options/options.lua file and add new group of options inside of the options table such as my_mod_options (see screenshot 4)

Screenshot 1 - the new options dialog with collapsible list of options:

Screenshot 2 - the new options dialog with searching by option's name:

Screenshot 3 - the new options dialog with searching by option's value:

Screenshot 4 - the new options dialog with custom mod options:

Screenshot 5 - the old options dialog:

[Garanas]

Looking at the current options menu:

@HUSSAR-mtrela would it be possible to use the texture space accordingly by having the search + game options in the background area that is designed to hold the options? I don't know by heart what the dialog texture looks like exactly, I'll try to find it

[HUSSAR-mtrela]

@Garanas the background texture has semi-transparent region where tab controls used to be and the same semi-transparent region above Reset/OK/Cancel/Apply buttons (see 2nd screenshot below) that is why I added that black bitmap to fill those regions. Otherwise search box would not be very visible and there would be a lot of wasted space that we can now use for displaying options. I have just fixed the alignment of the black fill with the background texture (see my screenshot below)

Latest Option Dialog with fixed alignment of fill bitmap:

Original Texture without tabs and options list:

By they way, I added an option to open this dialog via key binding

[HUSSAR-mtrela]

@Garanas If you like I can replace the styling of the Option window (which does not changes based on selected faction) with styling of the Keybinding window which matches currently selected faction.

[BlackYps]

I have to say, visually it looks worse than what we had before. Was there a reason to replace the scroll bar and the borders around the individual options? It also looks like you tried to squeeze every inch of vertical space out of it. The black area now almost touches the buttons, which doesn't look good