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

Merge pull request #597 from nfisher1226/linux_text_pointer

Browse Source 
Set the mouse pointer to "text" (an I-beam) when it is over the gl_area
This commit is contained in:
Mitchell Hashimoto
2023-09-30 15:46:33 -07:00
committed by GitHub
parent 5320f1bd11 abf43ddfcc
commit 268259112b
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/apprt/gtk/Surface.zig
View File

@ -85,6 +85,7 @@ im_len: u7 = 0,
pub fn init(self: *Surface, app: *App, opts: Options) !void { pub fn init(self: *Surface, app: *App, opts: Options) !void {
const widget = @as(*c.GtkWidget, @ptrCast(opts.gl_area)); const widget = @as(*c.GtkWidget, @ptrCast(opts.gl_area));
c.gtk_widget_set_cursor_from_name(@ptrCast(opts.gl_area), "text");
c.gtk_gl_area_set_required_version(opts.gl_area, 3, 3); c.gtk_gl_area_set_required_version(opts.gl_area, 3, 3);
c.gtk_gl_area_set_has_stencil_buffer(opts.gl_area, 0); c.gtk_gl_area_set_has_stencil_buffer(opts.gl_area, 0);
c.gtk_gl_area_set_has_depth_buffer(opts.gl_area, 0); c.gtk_gl_area_set_has_depth_buffer(opts.gl_area, 0);
@ -355,7 +356,7 @@ pub fn setMouseShape(
shape: terminal.MouseShape, shape: terminal.MouseShape,
) !void { ) !void {
const name: [:0]const u8 = switch (shape) { const name: [:0]const u8 = switch (shape) {
.default => "default", .default => "text",
.help => "help", .help => "help",
.pointer => "pointer", .pointer => "pointer",
.context_menu => "context-menu", .context_menu => "context-menu",

1
src/apprt/gtk/Window.zig
View File

@ -226,6 +226,7 @@ pub fn newTab(self: *Window, parent_: ?*CoreSurface) !void {
// wait for the "realize" callback from GTK to know that the OpenGL // wait for the "realize" callback from GTK to know that the OpenGL
// context is ready. See Surface docs for more info. // context is ready. See Surface docs for more info.
const gl_area = c.gtk_gl_area_new(); const gl_area = c.gtk_gl_area_new();
c.gtk_widget_set_cursor_from_name(gl_area, "text");
try surface.init(self.app, .{ try surface.init(self.app, .{
.window = self, .window = self,
.gl_area = @ptrCast(gl_area), .gl_area = @ptrCast(gl_area),