Enrico Giordani 5e2f681761 Docs tweaks (#960) ... Change header levels Add Github workflow Add reference to coding style Minor tweaks Fix links Add border to images Scale images		2019-12-17 17:02:45 +01:00
..
bool_toggle.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
choice_group.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
color_picker.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
custom_action.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
dropdown_1.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
dropdown_2.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
general_settings.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
hotkey.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
int_spinner.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
multiline.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
shorcut_guide_settings.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
string.png	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00