∅:D[
2.172] → [
12.889:893]
∅:D[
12.889] → [
12.889:893]
B:BD[
12.889] → [
12.889:893]
B:BD[
9.7809] → [
2.172:172]
B:BD[
13.191780] → [
9.7786:7809]
∅:D[
9.7785] → [
13.191774:191780]
B:BD[
13.191774] → [
13.191774:191780]
B:BD[
5.190717] → [
9.7652:7785]
∅:D[
14.170] → [
5.190712:190717]
∅:D[
9.7651] → [
5.190712:190717]
B:BD[
15.241] → [
5.190712:190717]
B:BD[
14.114] → [
14.115:170]
B:BD[
9.7595] → [
14.114:114]
B:BD[
16.594] → [
9.7521:7595]
∅:D[
5.190383] → [
16.588:594]
∅:D[
13.191260] → [
16.588:594]
B:BD[
16.588] → [
16.588:594]
∅:D[
17.889] → [
12.925:956]
B:BD[
12.925] → [
12.925:956]
D:D[
17.889] → [
12.925:956]
BD:BD[
12.925] → [
12.925:956]
∅:D[
17.961] → [
12.1021:1059]
B:BD[
12.1021] → [
12.1021:1059]
D:D[
17.961] → [
12.1021:1059]
BD:BD[
12.1021] → [
12.1021:1059]
end
return Text_cache[s]
end
-- use this sparingly
function to_text(s)
if Text_cache[s] == nil then
Text_cache[s] = App.newText(love.graphics.getFont(), s)
end
return edit.key_release(Editor_state, key, scancode)
Cursor_time = 0 -- ensure cursor is visible immediately after it moves
end
if Current_app == 'run' then
elseif Current_app == 'source' then
end
Cursor_time = 0 -- ensure cursor is visible immediately after it moves
return edit.key_release(Editor_state, key, scancode)
end
-- use this sparingly
function to_text(s)
if Text_cache[s] == nil then
Text_cache[s] = App.newText(love.graphics.getFont(), s)
end
return Text_cache[s]
end