Merge branch 'patch/5.7.2' into dev

This commit is contained in:
Cooldude2606
2019-06-09 21:20:55 +01:00
5 changed files with 21 additions and 7 deletions

View File

@@ -1,6 +1,10 @@
--- ---
name: Bug report name: Bug report
about: Report a bug which does not crash the game, any bug from the latest major scenario version about: Report a bug which does not crash the game, any bug from the latest major scenario
version
title: ''
labels: Bug
assignees: ''
--- ---

View File

@@ -1,6 +1,9 @@
--- ---
name: Desync report name: Desync report
about: Report a desync, latest version of scenario only including patches about: Report a desync, latest version of scenario only including patches
title: ''
labels: Bug
assignees: ''
--- ---

View File

@@ -1,6 +1,10 @@
--- ---
name: Error report name: Error report
about: Report a bug which cases the game to crash, any bug from the latest major scenario version about: Report a bug which cases the game to crash, any bug from the latest major scenario
version
title: ''
labels: Bug
assignees: ''
--- ---

View File

@@ -1,6 +1,9 @@
--- ---
name: Feature request name: Feature request
about: Suggest a new idea to be worked on about: Suggest a new idea to be worked on
title: ''
labels: Feature Request
assignees: ''
--- ---

View File

@@ -349,7 +349,7 @@ Store.register(action_player_store,function(value,category)
style = 'tool_button' style = 'tool_button'
end end
element.style = style element.style = style
Gui.set_paddinge(element,-2,-2,-2,-2) Gui.set_padding(element,-2,-2,-2,-2)
element.style.width = 8 element.style.width = 8
element.style.height = 14 element.style.height = 14
end end