Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-16 16:56:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

terminal: todo for paged-terminal

Browse Source
This commit is contained in:
Mitchell Hashimoto
2024-03-07 20:24:38 -08:00
parent 7fd85bd177
commit 6b364f81c0
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/terminal/main.zig
View File

@ -24,11 +24,10 @@ pub const CharsetActiveSlot = charsets.ActiveSlot;
pub const CSI = Parser.Action.CSI; pub const CSI = Parser.Action.CSI;
pub const DCS = Parser.Action.DCS; pub const DCS = Parser.Action.DCS;
pub const MouseShape = @import("mouse_shape.zig").MouseShape; pub const MouseShape = @import("mouse_shape.zig").MouseShape;
pub const Terminal = @import("Terminal.zig");
pub const Parser = @import("Parser.zig"); pub const Parser = @import("Parser.zig");
pub const Selection = @import("Selection.zig"); pub const Selection = @import("Selection.zig");
pub const Screen = @import("Screen.zig"); pub const Screen = @import("Screen.zig");
pub const StringMap = @import("StringMap.zig"); pub const Terminal = @import("Terminal.zig");
pub const Stream = stream.Stream; pub const Stream = stream.Stream;
pub const Cursor = Screen.Cursor; pub const Cursor = Screen.Cursor;
pub const CursorStyleReq = ansi.CursorStyle; pub const CursorStyleReq = ansi.CursorStyle;
@ -43,6 +42,9 @@ pub const EraseLine = csi.EraseLine;
pub const TabClear = csi.TabClear; pub const TabClear = csi.TabClear;
pub const Attribute = sgr.Attribute; pub const Attribute = sgr.Attribute;
// TODO(paged-terminal)
pub const StringMap = @import("StringMap.zig");
/// If we're targeting wasm then we export some wasm APIs. /// If we're targeting wasm then we export some wasm APIs.
pub usingnamespace if (builtin.target.isWasm()) struct { pub usingnamespace if (builtin.target.isWasm()) struct {
pub usingnamespace @import("wasm.zig"); pub usingnamespace @import("wasm.zig");