2023-01-14 15:04:44 -05:00
|
|
|
[res://Player/player.gd]
|
|
|
|
|
|
|
|
|
|
state={
|
|
|
|
|
"bookmarks": PackedInt32Array(),
|
|
|
|
|
"breakpoints": PackedInt32Array(),
|
2023-01-14 17:19:01 -05:00
|
|
|
"column": 0,
|
2023-01-14 15:04:44 -05:00
|
|
|
"folded_lines": [],
|
|
|
|
|
"h_scroll_position": 0,
|
2023-01-14 17:19:01 -05:00
|
|
|
"row": 35,
|
|
|
|
|
"scroll_position": 13.0,
|
2023-01-14 15:04:44 -05:00
|
|
|
"selection": false,
|
|
|
|
|
"syntax_highlighter": "GDScript"
|
|
|
|
|
}
|
