mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-08-02 14:57:31 +03:00
minor comment changes
This commit is contained in:
@ -480,12 +480,15 @@ extension Ghostty {
|
||||
let pos = self.convert(event.locationInWindow, from: nil)
|
||||
ghostty_surface_mouse_pos(surface, pos.x, frame.height - pos.y)
|
||||
|
||||
if let window = self.window as? TerminalWindow {
|
||||
if !self.focused && window.focusFollowsMouse {
|
||||
// If focus follows mouse is enabled then move focus to this surface.
|
||||
if let window = self.window as? TerminalWindow,
|
||||
window.isKeyWindow &&
|
||||
window.focusFollowsMouse &&
|
||||
!self.focused
|
||||
{
|
||||
Ghostty.moveFocus(to: self)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
override func mouseDragged(with event: NSEvent) {
|
||||
self.mouseMoved(with: event)
|
||||
|
@ -421,12 +421,6 @@ command: ?[]const u8 = null,
|
||||
/// This is primarily useful for scripts or debugging.
|
||||
@"wait-after-command": bool = false,
|
||||
|
||||
// If true, when there are multiple split panes, the mouse selects the pane
|
||||
// that is focused.
|
||||
//
|
||||
// Default is false.
|
||||
@"focus-follows-mouse": bool = false,
|
||||
|
||||
/// The number of milliseconds of runtime below which we consider a process exit
|
||||
/// to be abnormal. This is used to show an error message when the process exits
|
||||
/// too quickly.
|
||||
@ -753,6 +747,14 @@ keybind: Keybinds = .{},
|
||||
/// This configuration currently only works with GTK.
|
||||
@"window-new-tab-position": WindowNewTabPosition = .current,
|
||||
|
||||
// If true, when there are multiple split panes, the mouse selects the pane
|
||||
// that is focused. This only applies to the currently focused window; i.e.
|
||||
// mousing over a split in an unfocused window will now focus that split
|
||||
// and bring the window to front.
|
||||
//
|
||||
// Default is false.
|
||||
@"focus-follows-mouse": bool = false,
|
||||
|
||||
/// When enabled, the full GTK titlebar is displayed instead of your window
|
||||
/// manager's simple titlebar. The behavior of this option will vary with your
|
||||
/// window manager.
|
||||
|
Reference in New Issue
Block a user