mirror of
https://github.com/IgorTimofeev/MineOS.git
synced 2025-12-20 02:59:20 +01:00
51 lines
2.2 KiB
Lua
51 lines
2.2 KiB
Lua
|
|
local system = require("System")
|
|
local GUI = require("GUI")
|
|
local screen = require("Screen")
|
|
local event = require("Event")
|
|
local number = require("Number")
|
|
|
|
---------------------------------------------------------------------------------------------------------
|
|
|
|
local workspace = system.getWorkspace()
|
|
local container = GUI.addBackgroundContainer(workspace, true, true, "Running string setup")
|
|
|
|
local textInput = container.layout:addChild(GUI.input(1, 1, 36, 3, 0xFFFFFF, 0x696969, 0xB4B4B4, 0xFFFFFF, 0x2D2D2D, "Working on cool things, don't distract me", "Type text here", true))
|
|
local backgroundColorSelector = container.layout:addChild(GUI.colorSelector(1, 1, 36, 3, 0x0, "Background color"))
|
|
local textColorSelector = container.layout:addChild(GUI.colorSelector(1, 1, 36, 3, 0xFFFFFF, "Text color"))
|
|
local scaleSlider = container.layout:addChild(GUI.slider(1, 1, 36, 0x66DB80, 0x2D2D2D, 0xE1E1E1, 0x878787, 1, 1000, 100, false, "Scale: ", ""))
|
|
local delaySlider = container.layout:addChild(GUI.slider(1, 1, 36, 0x66DB80, 0x2D2D2D, 0xE1E1E1, 0x878787, 0, 500, 50, false, "Delay: ", " ms"))
|
|
local spacingSlider = container.layout:addChild(GUI.slider(1, 1, 36, 0x66DB80, 0x2D2D2D, 0xE1E1E1, 0x878787, 1, 50, 10, false, "Spacing: ", " char(s)"))
|
|
scaleSlider.roundValues, delaySlider.roundValues, spacingSlider.roundValues = true, true, true
|
|
spacingSlider.height = 2
|
|
|
|
container.layout:addChild(GUI.button(1, 1, 36, 3, 0x444444, 0xFFFFFF, 0x2D2D2D, 0xFFFFFF, "OK")).onTouch = function()
|
|
local text = textInput.text .. string.rep(" ", number.round(spacingSlider.value))
|
|
local gpu = component.proxy(screen.getGPUAddress())
|
|
|
|
local oldWidth, oldHeight = screen.getResolution()
|
|
local width, height = screen.getScaledResolution(scaleSlider.value / 1000)
|
|
local y = number.round(height / 2)
|
|
|
|
screen.setResolution(width, height)
|
|
|
|
gpu.setBackground(backgroundColorSelector.color)
|
|
gpu.setForeground(textColorSelector.color)
|
|
gpu.fill(1, 1, width, height, " ")
|
|
|
|
while true do
|
|
local eventData = {event.pull(delaySlider.value / 1000)}
|
|
if eventData[1] == "touch" or eventData[1] == "key_down" then
|
|
break
|
|
end
|
|
|
|
text = unicode.sub(text, 2, -1) .. unicode.sub(text, 1, 1)
|
|
gpu.set(1, y, text)
|
|
end
|
|
|
|
screen.setResolution(oldWidth, oldHeight)
|
|
container:remove()
|
|
|
|
workspace:draw()
|
|
end
|