build: fix gui build
This commit is contained in:
parent
3995946471
commit
07f1446616
1 changed files with 6 additions and 0 deletions
|
|
@ -372,6 +372,12 @@ pub fn process_renderer_event(self: *Self, msg: []const u8) Error!void {
|
||||||
return error.UnexpectedRendererEvent;
|
return error.UnexpectedRendererEvent;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
pub fn set_sgr_pixel_mode_support(self: *Self, enable_sgr_pixel_mode_support: bool) void {
|
||||||
|
_ = self;
|
||||||
|
_ = enable_sgr_pixel_mode_support;
|
||||||
|
// this is a no-op for GUI renderers
|
||||||
|
}
|
||||||
|
|
||||||
pub fn set_terminal_title(self: *Self, text: []const u8) void {
|
pub fn set_terminal_title(self: *Self, text: []const u8) void {
|
||||||
self.title_buf.clearRetainingCapacity();
|
self.title_buf.clearRetainingCapacity();
|
||||||
std.unicode.utf8ToUtf16LeArrayList(&self.title_buf, text) catch {
|
std.unicode.utf8ToUtf16LeArrayList(&self.title_buf, text) catch {
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue