2022-05-18 03:41:42 +01:00
|
|
|
local utf8 = require 'utf8'
|
2022-05-02 16:20:30 +01:00
|
|
|
require 'keychord'
|
2022-05-18 05:18:17 +01:00
|
|
|
require 'file'
|
2022-05-11 05:17:50 +01:00
|
|
|
require 'button'
|
2022-05-18 04:29:08 +01:00
|
|
|
local Text = require 'text'
|
2022-05-18 03:41:42 +01:00
|
|
|
local Drawing = require 'drawing'
|
2022-05-18 05:18:17 +01:00
|
|
|
local geom = require 'geom'
|
|
|
|
require 'help'
|
|
|
|
require 'icons'
|
2022-05-02 16:20:30 +01:00
|
|
|
|
2022-05-17 06:20:58 +01:00
|
|
|
-- a line is either text or a drawing
|
|
|
|
-- a text is a table with:
|
|
|
|
-- mode = 'text'
|
|
|
|
-- string data
|
2022-05-14 21:08:33 +01:00
|
|
|
-- a drawing is a table with:
|
2022-05-17 06:20:58 +01:00
|
|
|
-- mode = 'drawing'
|
|
|
|
-- a (y) coord in pixels (updated while painting screen),
|
2022-05-14 21:08:33 +01:00
|
|
|
-- a (h)eight,
|
|
|
|
-- an array of points, and
|
|
|
|
-- an array of shapes
|
|
|
|
-- a shape is a table containing:
|
|
|
|
-- a mode
|
|
|
|
-- an array points for mode 'freehand' (raw x,y coords; freehand drawings don't pollute the points array of a drawing)
|
|
|
|
-- an array vertices for mode 'polygon', 'rectangle', 'square'
|
|
|
|
-- p1, p2 for mode 'line'
|
|
|
|
-- p1, p2, arrow-mode for mode 'arrow-line'
|
2022-05-16 06:04:20 +01:00
|
|
|
-- center, radius for mode 'circle'
|
|
|
|
-- center, radius, start_angle, end_angle for mode 'arc'
|
2022-05-14 21:08:33 +01:00
|
|
|
-- Unless otherwise specified, coord fields are normalized; a drawing is always 256 units wide
|
|
|
|
-- The field names are carefully chosen so that switching modes in midstream
|
|
|
|
-- remembers previously entered points where that makes sense.
|
|
|
|
--
|
|
|
|
-- Open question: how to maintain Sketchpad-style constraints? Answer for now:
|
|
|
|
-- we don't. Constraints operate only for the duration of a drawing operation.
|
|
|
|
-- We'll continue to persist them just to keep the option open to continue
|
|
|
|
-- solving for them. But for now, this is a program to create static drawings
|
|
|
|
-- once, and read them passively thereafter.
|
2022-05-18 03:27:54 +01:00
|
|
|
Lines = {{mode='text', data=''}}
|
2022-05-19 01:22:04 +01:00
|
|
|
Screen_top_line = 1
|
|
|
|
Screen_bottom_line = 1
|
2022-05-18 03:33:35 +01:00
|
|
|
Cursor_line = 1
|
2022-05-20 05:59:56 +01:00
|
|
|
Cursor_pos = 1 -- in Unicode codepoints, from 1 to utf8.len(line) + 1
|
2022-05-14 21:08:33 +01:00
|
|
|
|
2022-05-18 03:33:35 +01:00
|
|
|
Screen_width, Screen_height, Screen_flags = 0, 0, nil
|
2022-05-12 16:29:57 +01:00
|
|
|
|
2022-05-18 05:18:17 +01:00
|
|
|
Current_drawing_mode = 'line'
|
|
|
|
Previous_drawing_mode = nil
|
2022-05-14 21:08:33 +01:00
|
|
|
|
2022-05-20 06:02:18 +01:00
|
|
|
Line_width = nil -- maximum width available to either text or drawings, in pixels
|
2022-05-12 16:29:57 +01:00
|
|
|
|
2022-05-18 03:33:35 +01:00
|
|
|
Zoom = 1.5
|
2022-05-17 07:01:01 +01:00
|
|
|
|
2022-05-18 03:33:35 +01:00
|
|
|
Filename = 'lines.txt'
|
2022-05-15 22:00:49 +01:00
|
|
|
|
|
|
|
function love.load(arg)
|
2022-05-16 17:39:44 +01:00
|
|
|
-- maximize window
|
2022-05-02 05:55:57 +01:00
|
|
|
love.window.setMode(0, 0) -- maximize
|
2022-05-18 03:33:35 +01:00
|
|
|
Screen_width, Screen_height, Screen_flags = love.window.getMode()
|
2022-05-16 17:39:44 +01:00
|
|
|
-- shrink slightly to account for window decoration
|
2022-05-18 03:33:35 +01:00
|
|
|
Screen_width = Screen_width-100
|
|
|
|
Screen_height = Screen_height-100
|
|
|
|
love.window.setMode(Screen_width, Screen_height)
|
2022-05-17 02:50:32 +01:00
|
|
|
love.window.setTitle('Text with Lines')
|
2022-05-20 06:02:18 +01:00
|
|
|
Line_width = math.floor(Screen_width/2/40)*40
|
2022-05-16 23:08:49 +01:00
|
|
|
love.keyboard.setTextInput(true) -- bring up keyboard on touch screen
|
2022-05-18 05:37:39 +01:00
|
|
|
love.keyboard.setKeyRepeat(true)
|
2022-05-16 23:08:49 +01:00
|
|
|
if #arg > 0 then
|
2022-05-18 03:33:35 +01:00
|
|
|
Filename = arg[1]
|
2022-05-16 23:08:49 +01:00
|
|
|
end
|
2022-05-18 03:33:35 +01:00
|
|
|
Lines = load_from_disk(Filename)
|
2022-05-18 03:27:54 +01:00
|
|
|
for i,line in ipairs(Lines) do
|
2022-05-18 03:15:12 +01:00
|
|
|
if line.mode == 'text' then
|
2022-05-18 03:33:35 +01:00
|
|
|
Cursor_line = i
|
2022-05-19 02:18:34 +01:00
|
|
|
break
|
2022-05-18 03:15:12 +01:00
|
|
|
end
|
|
|
|
end
|
2022-05-18 03:33:35 +01:00
|
|
|
love.window.setTitle('Text with Lines - '..Filename)
|
2022-05-02 05:55:57 +01:00
|
|
|
end
|
|
|
|
|
2022-05-16 23:26:22 +01:00
|
|
|
function love.filedropped(file)
|
2022-05-18 03:33:35 +01:00
|
|
|
Filename = file:getFilename()
|
2022-05-16 23:26:22 +01:00
|
|
|
file:open('r')
|
2022-05-18 03:27:54 +01:00
|
|
|
Lines = load_from_file(file)
|
2022-05-17 02:44:17 +01:00
|
|
|
file:close()
|
2022-05-18 03:27:54 +01:00
|
|
|
for i,line in ipairs(Lines) do
|
2022-05-18 03:15:12 +01:00
|
|
|
if line.mode == 'text' then
|
2022-05-18 03:33:35 +01:00
|
|
|
Cursor_line = i
|
2022-05-19 02:18:34 +01:00
|
|
|
break
|
2022-05-18 03:15:12 +01:00
|
|
|
end
|
|
|
|
end
|
2022-05-18 03:33:35 +01:00
|
|
|
love.window.setTitle('Text with Lines - '..Filename)
|
2022-05-16 23:26:22 +01:00
|
|
|
end
|
|
|
|
|
2022-05-02 05:55:57 +01:00
|
|
|
function love.draw()
|
2022-05-18 07:24:46 +01:00
|
|
|
Button_handlers = {}
|
2022-05-02 05:55:57 +01:00
|
|
|
love.graphics.setColor(1, 1, 1)
|
2022-05-18 03:33:35 +01:00
|
|
|
love.graphics.rectangle('fill', 0, 0, Screen_width-1, Screen_height-1)
|
2022-05-02 05:55:57 +01:00
|
|
|
love.graphics.setColor(0, 0, 0)
|
2022-05-19 01:22:04 +01:00
|
|
|
for line_index,line in ipairs(Lines) do
|
|
|
|
line.y = nil
|
|
|
|
end
|
2022-05-19 13:52:16 +01:00
|
|
|
local y = 15
|
2022-05-18 03:48:12 +01:00
|
|
|
for line_index,line in ipairs(Lines) do
|
2022-05-19 13:50:33 +01:00
|
|
|
if y > Screen_height then break end
|
2022-05-19 01:22:04 +01:00
|
|
|
if line_index >= Screen_top_line then
|
|
|
|
Screen_bottom_line = line_index
|
|
|
|
if line.mode == 'text' and line.data == '' then
|
2022-05-19 13:52:16 +01:00
|
|
|
line.y = y
|
2022-05-19 01:22:04 +01:00
|
|
|
button('draw', {x=4,y=y+4, w=12,h=12, color={1,1,0},
|
|
|
|
icon = icon.insert_drawing,
|
|
|
|
onpress1 = function()
|
|
|
|
table.insert(Lines, line_index, {mode='drawing', y=y, h=256/2, points={}, shapes={}, pending={}})
|
|
|
|
if Cursor_line >= line_index then
|
|
|
|
Cursor_line = Cursor_line+1
|
|
|
|
end
|
|
|
|
end})
|
|
|
|
if line_index == Cursor_line then
|
|
|
|
love.graphics.setColor(0,0,0)
|
|
|
|
love.graphics.print('_', 25, y+6) -- drop the cursor down a bit to account for the increased font size
|
|
|
|
end
|
2022-05-19 16:23:25 +01:00
|
|
|
y = y + math.floor(15*Zoom) -- text height
|
2022-05-19 01:22:04 +01:00
|
|
|
elseif line.mode == 'drawing' then
|
2022-05-19 13:52:16 +01:00
|
|
|
y = y+10 -- padding
|
|
|
|
line.y = y
|
2022-05-19 13:41:04 +01:00
|
|
|
Drawing.draw(line)
|
2022-05-19 13:52:16 +01:00
|
|
|
y = y + Drawing.pixels(line.h) + 10 -- padding
|
2022-05-19 01:22:04 +01:00
|
|
|
else
|
2022-05-19 13:52:16 +01:00
|
|
|
line.y = y
|
2022-05-20 01:46:02 +01:00
|
|
|
--? y = Text.draw(line, 100, line_index, Cursor_line, Cursor_pos)
|
2022-05-20 06:02:18 +01:00
|
|
|
y = Text.draw(line, Line_width, line_index, Cursor_line, Cursor_pos)
|
2022-05-19 16:23:25 +01:00
|
|
|
y = y + math.floor(15*Zoom) -- text height
|
2022-05-19 01:22:04 +01:00
|
|
|
end
|
2022-05-11 05:17:50 +01:00
|
|
|
end
|
2022-05-02 05:55:57 +01:00
|
|
|
end
|
2022-05-20 01:29:14 +01:00
|
|
|
--? os.exit(1)
|
2022-05-02 05:55:57 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
function love.update(dt)
|
2022-05-18 07:16:08 +01:00
|
|
|
Drawing.update(dt)
|
2022-05-11 05:17:50 +01:00
|
|
|
end
|
|
|
|
|
2022-05-18 07:18:56 +01:00
|
|
|
function love.mousepressed(x,y, mouse_button)
|
|
|
|
propagate_to_button_handlers(x,y, mouse_button)
|
2022-05-17 06:28:34 +01:00
|
|
|
|
2022-05-18 03:48:12 +01:00
|
|
|
for line_index,line in ipairs(Lines) do
|
2022-05-17 06:42:54 +01:00
|
|
|
if line.mode == 'text' then
|
2022-05-18 06:53:09 +01:00
|
|
|
if Text.in_line(line, x,y) then
|
|
|
|
Text.move_cursor(line_index, line, x)
|
2022-05-17 06:42:54 +01:00
|
|
|
end
|
|
|
|
elseif line.mode == 'drawing' then
|
2022-05-18 06:53:09 +01:00
|
|
|
if Drawing.in_drawing(line, x, y) then
|
|
|
|
Drawing.mouse_pressed(line, x,y, button)
|
2022-05-17 06:28:34 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
2022-05-12 05:57:36 +01:00
|
|
|
end
|
|
|
|
|
2022-05-14 21:08:33 +01:00
|
|
|
function love.mousereleased(x,y, button)
|
2022-05-18 06:55:45 +01:00
|
|
|
Drawing.mouse_released(x,y, button)
|
2022-05-14 21:08:33 +01:00
|
|
|
end
|
|
|
|
|
2022-05-02 16:20:30 +01:00
|
|
|
function keychord_pressed(chord)
|
2022-05-18 06:36:10 +01:00
|
|
|
if love.mouse.isDown('1') or chord:sub(1,2) == 'C-' then
|
|
|
|
Drawing.keychord_pressed(chord)
|
2022-05-18 07:23:26 +01:00
|
|
|
elseif chord == 'escape' and love.mouse.isDown('1') then
|
|
|
|
local drawing = Drawing.current_drawing()
|
|
|
|
if drawing then
|
|
|
|
drawing.pending = {}
|
|
|
|
end
|
2022-05-19 01:22:04 +01:00
|
|
|
elseif chord == 'pagedown' then
|
|
|
|
Screen_top_line = Screen_bottom_line
|
|
|
|
Cursor_line = Screen_top_line
|
|
|
|
Cursor_pos = 1
|
2022-05-19 02:19:27 +01:00
|
|
|
Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary()
|
2022-05-19 01:22:04 +01:00
|
|
|
elseif chord == 'pageup' then
|
|
|
|
-- duplicate some logic from love.draw
|
|
|
|
local y = Screen_height
|
|
|
|
while y >= 0 do
|
|
|
|
if Screen_top_line == 1 then break end
|
2022-05-20 00:35:52 +01:00
|
|
|
y = y - math.floor(15*Zoom)
|
2022-05-19 02:19:27 +01:00
|
|
|
if Lines[Screen_top_line].mode == 'drawing' then
|
2022-05-19 01:22:04 +01:00
|
|
|
y = y - Drawing.pixels(Lines[Screen_top_line].h)
|
|
|
|
end
|
|
|
|
Screen_top_line = Screen_top_line - 1
|
|
|
|
end
|
|
|
|
if Cursor_line ~= Screen_top_line then
|
|
|
|
Cursor_pos = 1
|
|
|
|
end
|
|
|
|
Cursor_line = Screen_top_line
|
2022-05-19 02:19:27 +01:00
|
|
|
Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary()
|
2022-05-18 06:36:10 +01:00
|
|
|
else
|
|
|
|
Text.keychord_pressed(chord)
|
2022-05-12 06:29:21 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2022-05-02 16:20:30 +01:00
|
|
|
function love.keyreleased(key, scancode)
|
|
|
|
end
|