168 lines
5.0 KiB
Python
Executable File
168 lines
5.0 KiB
Python
Executable File
import pygame as pg
|
|
from pygame import Rect
|
|
|
|
from piece_table import PieceTable
|
|
|
|
import os
|
|
import json
|
|
import sys
|
|
import time
|
|
import copy
|
|
from dataclasses import dataclass
|
|
from typing import List
|
|
|
|
from code import InteractiveConsole, InteractiveInterpreter
|
|
|
|
@dataclass(slots=True)
|
|
class Cursor:
|
|
width: float
|
|
height: float
|
|
line_num: int = 0
|
|
col: int = 0
|
|
want_col: int = 0
|
|
|
|
@dataclass(slots=True)
|
|
class Line:
|
|
piece: PieceTable
|
|
length: int
|
|
|
|
@dataclass(slots=True)
|
|
class Buffer:
|
|
lines: List[Line]
|
|
cursor: Cursor
|
|
mode: str = 'insert'
|
|
|
|
def cursor_pos(cursor: Cursor):
|
|
return (cursor.line_num, cursor.col)
|
|
|
|
def cursor_draw(cursor: Cursor):
|
|
rect = Rect(cursor.col * cursor.width, cursor.line_num * cursor.height, 3, cursor.height)
|
|
pg.draw.rect(screen, "black", rect, width=2)
|
|
|
|
def line_create(text: str) -> Line:
|
|
return Line(PieceTable(text), len(text))
|
|
|
|
def buffer_create(text: str, cursor: Cursor) -> Buffer:
|
|
lines = []
|
|
for line in text.split('\n'):
|
|
lines.append(line_create(line))
|
|
return Buffer(lines, cursor)
|
|
|
|
def buffer_line_current(buf: Buffer) -> Line:
|
|
return buf.lines[buf.cursor.line_num]
|
|
|
|
def buffer_line_num(buf: Buffer) -> int:
|
|
return buf.cursor.line_num
|
|
|
|
def buffer_total_lines(buf: Buffer) -> int:
|
|
return len(buf.lines)
|
|
|
|
def buffer_line_len(buf: Buffer) -> int:
|
|
return buffer_line_current(buf).length
|
|
|
|
|
|
# oswinx, oswiny = 1940,50
|
|
oswinx, oswiny = 20,50
|
|
os.environ['SDL_VIDEO_WINDOW_POS'] = "%d,%d" % (oswinx,oswiny)
|
|
os.environ['SDL_VIDEO_X11_WMCLASS'] = "pygame"
|
|
clock = pg.time.Clock()
|
|
|
|
pg.init()
|
|
pg.font.init()
|
|
text_renderer = pg.font.SysFont('JetBrains Mono', 14)
|
|
screen = pg.display.set_mode((900, 900), pg.RESIZABLE)
|
|
pg.key.set_repeat(240, 10)
|
|
|
|
def load_file(path):
|
|
with open(path, 'r', encoding='utf-8') as f:
|
|
text = f.read()
|
|
f.close()
|
|
return text
|
|
|
|
@dataclass
|
|
class GlobalContext:
|
|
cursor = Cursor(width=8, height=20)
|
|
text = load_file('../gux/test.c')
|
|
current_buffer = buffer_create(text, cursor)
|
|
|
|
# global ctx
|
|
global ctx
|
|
ctx = GlobalContext()
|
|
from config import *
|
|
from editing import *
|
|
from keybindings import *
|
|
def main():
|
|
running = True
|
|
frame_count = 0
|
|
cursor_flash = 0
|
|
cursor_on = True
|
|
line_height = 20
|
|
cursor = ctx.cursor
|
|
current_buffer = ctx.current_buffer
|
|
console = InteractiveInterpreter(locals())
|
|
console.runsource('from editing import *')
|
|
# We are hardcoding precedence here
|
|
while running:
|
|
dt = clock.tick(120) / 1000.0
|
|
screen.fill('white')
|
|
frame_count += 1
|
|
for event in pg.event.get():
|
|
# print(pg.event.event_name(event.type))
|
|
if event.type == pg.QUIT:
|
|
running = False
|
|
if event.type == pg.KEYDOWN:
|
|
# print(pg.key.name(event.key))
|
|
cursor_on = True
|
|
cursor_flash = 0
|
|
curr_line = buffer_line_current(current_buffer)
|
|
kb_to_test = Keybinding(pg.key.name(event.key), event.mod)
|
|
# print(kb_to_test, event.key, pg.key.name(event.key))
|
|
passthrough = True
|
|
for i in range(len(keymap_stack) - 1, -1, -1):
|
|
keymap = keymap_stack[i]
|
|
if kb_to_test in keymap.mapping:
|
|
keymap.mapping[kb_to_test]()
|
|
if not keymap.pinned:
|
|
keymap_stack.pop()
|
|
break
|
|
passthrough = False
|
|
else:
|
|
if keymap.pop_not_found:
|
|
keymap_stack.pop()
|
|
else:
|
|
print(f"{kb_to_test} not found")
|
|
if not keymap.fallthrough:
|
|
passthrough = False
|
|
break
|
|
# No keybinding found so send the directly to the buffer
|
|
# I think emacs instead binds every key to a function that sends the
|
|
# letter, we can evaluate if that's better later on
|
|
if passthrough and event.mod < 2 and event.unicode:
|
|
buffer_insert_char(event.unicode)
|
|
# if event.key == pg.K_RETURN:
|
|
# src = buffer_line_current(current_buffer).piece.get_text()
|
|
# try:
|
|
# eval(src[3:])
|
|
# except:
|
|
# print('error evaluating line: ' + src[3:])
|
|
# console.runsource(src[3:])
|
|
|
|
for i,curr_line in enumerate(current_buffer.lines):
|
|
render = text_renderer.render(curr_line.piece.get_text(), True, 'black')
|
|
screen.blit(render, (0, i * line_height))
|
|
|
|
if cursor_on and cursor_flash < 0.5:
|
|
cursor_draw(cursor)
|
|
elif cursor_on:
|
|
cursor_on = False
|
|
cursor_flash = 0
|
|
elif not cursor_on and cursor_flash > 0.5:
|
|
cursor_on = True
|
|
cursor_flash = 0
|
|
cursor_flash += dt
|
|
|
|
pg.display.flip()
|
|
|
|
if __name__ == '__main__':
|
|
main()
|