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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
| export default {
| enableHotkeys: {
| newUI: {
| title: "Labeling hotkeys",
| description: "Enables quick selection of labels using hotkeys",
| },
| description: "Enable labeling hotkeys",
| onChangeEvent: "toggleHotkeys",
| defaultValue: true,
| },
| enableTooltips: {
| newUI: {
| title: "Show hotkeys on tooltips",
| description: "Displays keybindings on tools and actions tooltips",
| },
| description: "Show hotkey tooltips",
| onChangeEvent: "toggleTooltips",
| checked: "",
| defaultValue: false,
| },
| enableLabelTooltips: {
| newUI: {
| title: "Show hotkeys on labels",
| description: "Displays keybindings on labels",
| },
| description: "Show labels hotkey tooltips",
| onChangeEvent: "toggleLabelTooltips",
| defaultValue: true,
| },
| showLabels: {
| newUI: {
| title: "Show region labels",
| description: "Display region label names",
| },
| description: "Show labels inside the regions",
| onChangeEvent: "toggleShowLabels",
| defaultValue: false,
| },
| continuousLabeling: {
| newUI: {
| title: "Keep label selected after creating a region",
| description: "Allows continuous region creation using the selected label",
| },
| description: "Keep label selected after creating a region",
| onChangeEvent: "toggleContinuousLabeling",
| defaultValue: false,
| },
| selectAfterCreate: {
| newUI: {
| title: "Select region after creating it",
| description: "Automatically selects newly created regions",
| },
| description: "Select regions after creating",
| onChangeEvent: "toggleSelectAfterCreate",
| defaultValue: false,
| },
| showLineNumbers: {
| newUI: {
| tags: "Text Tag",
| title: "Show line numbers",
| description: "Identify and reference specific lines of text in your document",
| },
| description: "Show line numbers for Text",
| onChangeEvent: "toggleShowLineNumbers",
| defaultValue: false,
| },
| preserveSelectedTool: {
| newUI: {
| tags: "Image Tag",
| title: "Keep selected tool",
| description: "Persists the selected tool across tasks",
| },
| description: "Remember Selected Tool",
| onChangeEvent: "togglepreserveSelectedTool",
| defaultValue: true,
| },
| enableSmoothing: {
| newUI: {
| tags: "Image Tag",
| title: "Pixel smoothing on zoom",
| description: "Smooth image pixels when zoomed in",
| },
| description: "Enable image smoothing when zoom",
| onChangeEvent: "toggleSmoothing",
| defaultValue: true,
| },
| invertedZoom: {
| newUI: {
| tags: "Image Tag",
| title: "Invert zoom direction",
| description: "Invert the direction of scroll-to-zoom",
| },
| description: "Enable inverted zoom direction",
| onChangeEvent: "toggleInvertedZoom",
| defaultValue: false,
| },
| };
|
|
