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

disable inputs when they're captured by dev mode

Browse Source
This commit is contained in:
Mitchell Hashimoto
2022-10-17 11:19:35 -07:00
parent 15a57983a6
commit ab721b5b26
1 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
src/Window.zig
View File

@ -684,6 +684,17 @@ fn charCallback(window: glfw.Window, codepoint: u21) void {
const win = window.getUserPointer(Window) orelse return; const win = window.getUserPointer(Window) orelse return;
// Dev Mode
if (DevMode.enabled and DevMode.instance.visible) {
// If the event was handled by imgui, ignore it.
if (imgui.IO.get()) |io| {
if (io.cval().WantCaptureKeyboard) {
win.render_timer.schedule() catch |err|
log.err("error scheduling render timer err={}", .{err});
}
} else |_| {}
}
// Ignore if requested. See field docs for more information. // Ignore if requested. See field docs for more information.
if (win.ignore_char) { if (win.ignore_char) {
win.ignore_char = false; win.ignore_char = false;
@ -721,6 +732,17 @@ fn keyCallback(
const win = window.getUserPointer(Window) orelse return; const win = window.getUserPointer(Window) orelse return;
// Dev Mode
if (DevMode.enabled and DevMode.instance.visible) {
// If the event was handled by imgui, ignore it.
if (imgui.IO.get()) |io| {
if (io.cval().WantCaptureKeyboard) {
win.render_timer.schedule() catch |err|
log.err("error scheduling render timer err={}", .{err});
}
} else |_| {}
}
// Reset the ignore char setting. If we didn't handle the char // Reset the ignore char setting. If we didn't handle the char
// by here, we aren't going to get it so we just reset this. // by here, we aren't going to get it so we just reset this.
win.ignore_char = false; win.ignore_char = false;
@ -1155,6 +1177,11 @@ fn mouseButtonCallback(
if (DevMode.enabled and DevMode.instance.visible) { if (DevMode.enabled and DevMode.instance.visible) {
win.render_timer.schedule() catch |err| win.render_timer.schedule() catch |err|
log.err("error scheduling render timer in cursorPosCallback err={}", .{err}); log.err("error scheduling render timer in cursorPosCallback err={}", .{err});
// If the mouse event was handled by imgui, ignore it.
if (imgui.IO.get()) |io| {
if (io.cval().WantCaptureMouse) return;
} else |_| {}
} }
// Convert glfw button to input button // Convert glfw button to input button
@ -1239,6 +1266,11 @@ fn cursorPosCallback(
if (DevMode.enabled and DevMode.instance.visible) { if (DevMode.enabled and DevMode.instance.visible) {
win.render_timer.schedule() catch |err| win.render_timer.schedule() catch |err|
log.err("error scheduling render timer in cursorPosCallback err={}", .{err}); log.err("error scheduling render timer in cursorPosCallback err={}", .{err});
// If the mouse event was handled by imgui, ignore it.
if (imgui.IO.get()) |io| {
if (io.cval().WantCaptureMouse) return;
} else |_| {}
} }
// Do a mouse report // Do a mouse report