Velocity/core/buffers.py

91 lines
3.0 KiB
Python
Raw Normal View History

2022-03-19 15:13:28 +00:00
import os
class Buffer:
def __init__(self, path: str, name: str = None, data: list = None):
self.path = path
self.name = name or "[No Name]"
2022-03-19 19:19:25 +00:00
self.data = data or [""]
def render(self, instance):
for y, line in enumerate(self.data[instance.offset[0]:]):
if y <= instance.safe_height:
2022-03-19 19:19:25 +00:00
for x, character in enumerate(line[instance.offset[1]:]):
if x <= instance.safe_width:
2022-03-19 19:19:25 +00:00
instance.screen.addstr(y, x + instance.components.get_component_width(
instance.components.components["left"]), character)
# Write blank spaces for the rest of the line
if instance.safe_width - len(line) > 0:
instance.screen.addstr(y, instance.components.get_component_width(
instance.components.components["left"]) + len(line), " " * (instance.safe_width - len(line)))
2022-03-19 15:13:28 +00:00
@staticmethod
def delete_line(instance, y: int = None):
# Default to the cursor position
y = y or instance.cursor[0]
# Remove a line from the buffer
instance.buffer.data.pop(y)
@staticmethod
def insert_line(instance, y: int = None):
# Default to the cursor position
y = y or instance.cursor[0]
# Insert a line into the buffer
instance.buffer.data.insert(y, "")
2022-03-19 15:13:28 +00:00
@staticmethod
def delete_char(instance, y: int = None, x: int = None):
# Default to the cursor position
y = y or instance.cursor[0]
x = x or instance.cursor[1]
# Remove a character from the line at a given index
instance.buffer.data[y] = instance.buffer.data[y][:x - 1] + instance.buffer.data[y][x:]
@staticmethod
def insert_char(instance, char: (str, chr), y: int = None, x: int = None):
# Default to the cursor position
y = y or instance.cursor[0]
x = x or instance.cursor[1]
# Insert a character into the line at a given index
instance.buffer.data[y] = instance.buffer.data[y][:x] + char + instance.buffer.data[y][x:]
2022-03-19 15:13:28 +00:00
2022-04-17 13:32:35 +01:00
def open_file(file_path):
2022-03-19 15:13:28 +00:00
# Open the file
2022-04-17 13:32:35 +01:00
with open(file_path) as f:
2022-03-19 15:13:28 +00:00
# Convert it into a list of lines
lines = f.readlines()
# Add a line if the file is empty or if the last line is not empty
if lines[-1].endswith("\n") or not len(lines):
lines.append("")
# Remove the newlines
lines = [line.rstrip("\n") for line in lines]
2022-03-19 15:13:28 +00:00
# Return the list of lines
return lines
def load_file(file_path=None):
# Default settings for a file
file_name = "[No Name]"
2022-03-19 19:19:25 +00:00
file_data = [""]
2022-03-19 15:13:28 +00:00
if file_path:
# Set the file's name
file_name = os.path.basename(file_path)
# Only if the file actually exists
if os.path.exists(file_path):
# Open the file as a list of lines
2022-04-17 13:32:35 +01:00
file_data = open_file(file_path)
2022-03-19 15:13:28 +00:00
# Return a dictionary which will become all the data about the buffer
return Buffer(file_path, file_name, file_data)