You've already forked ComfyFactorio
mirror of
https://github.com/ComfyFactory/ComfyFactorio.git
synced 2025-11-25 22:32:18 +02:00
minor change to diff gui
This commit is contained in:
@@ -182,7 +182,7 @@ local function poll_difficulty(player)
|
|||||||
type = 'flow'
|
type = 'flow'
|
||||||
}
|
}
|
||||||
|
|
||||||
label_flow.add({type = 'label', caption = '- - - - - - - - - - - - - - - - - -'})
|
inside_frame.add({type = 'line'})
|
||||||
|
|
||||||
label_flow.style.horizontal_align = 'center'
|
label_flow.style.horizontal_align = 'center'
|
||||||
label_flow.style.horizontally_stretchable = true
|
label_flow.style.horizontally_stretchable = true
|
||||||
@@ -205,6 +205,8 @@ local function poll_difficulty(player)
|
|||||||
b.style.font = 'heading-3'
|
b.style.font = 'heading-3'
|
||||||
b.style.minimal_width = 96
|
b.style.minimal_width = 96
|
||||||
b.enabled = false
|
b.enabled = false
|
||||||
|
|
||||||
|
inside_frame.add({type = 'line'})
|
||||||
end
|
end
|
||||||
|
|
||||||
local function set_difficulty()
|
local function set_difficulty()
|
||||||
|
|||||||
Reference in New Issue
Block a user