FilesExpand file tree

 develop

/

widgets.lua

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

62 lines (54 loc) · 2.05 KB

 develop

/

widgets.lua

Copy path

Top

File metadata and controls

• Code
• Blame

62 lines (54 loc) · 2.05 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

-- Simple widgets for screens

local _ENV = mkmodule('gui.widgets')

local common = require('gui.widgets.common')

Widget = require('gui.widgets.widget')

Divider = require('gui.widgets.divider')

Panel = require('gui.widgets.containers.panel')

Window = require('gui.widgets.containers.window')

ResizingPanel = require('gui.widgets.containers.resizing_panel')

Pages = require('gui.widgets.containers.pages')

EditField = require('gui.widgets.edit_field')

HotkeyLabel = require('gui.widgets.labels.hotkey_label')

Label = require('gui.widgets.labels.label')

Scrollbar = require('gui.widgets.scrollbar')

WrappedLabel = require('gui.widgets.labels.wrapped_label')

TooltipLabel = require('gui.widgets.labels.tooltip_label')

HelpButton = require('gui.widgets.buttons.help_button')

ConfigureButton = require('gui.widgets.buttons.configure_button')

BannerPanel = require('gui.widgets.containers.banner_panel')

TextButton = require('gui.widgets.buttons.text_button')

CycleHotkeyLabel = require('gui.widgets.labels.cycle_hotkey_label')

ButtonGroup = require('gui.widgets.buttons.button_group')

ToggleHotkeyLabel = require('gui.widgets.labels.toggle_hotkey_label')

List = require('gui.widgets.list')

FilteredList = require('gui.widgets.filtered_list')

TabBar = require('gui.widgets.tab_bar')

RangeSlider = require('gui.widgets.range_slider')

Slider = require('gui.widgets.slider')

DimensionsTooltip = require('gui.widgets.dimensions_tooltip')

TextArea = require('gui.widgets.text_area')

Tab = TabBar.Tab

makeButtonLabelText = Label.makeButtonLabelText

STANDARDSCROLL = common.STANDARDSCROLL

---@return boolean

function getDoubleClickMs()

return common.DOUBLE_CLICK_MS

end

function setDoubleClickMs(value)

common.DOUBLE_CLICK_MS = value

end

---@return boolean

function getScrollInitialDelayMs()

return common.SCROLL_INITIAL_DELAY_MS

end

function setScrollInitialDelayMs(value)

common.SCROLL_INITIAL_DELAY_MS = value

end

---@return boolean

function getScrollDelayMs()

return common.SCROLL_DELAY_MS

end

function setScrollDelayMs(value)

common.SCROLL_DELAY_MS = value

end

return _ENV