feat: add ignore_filter_stderr config option
This commit is contained in:
parent
e7118763a1
commit
7b7c84628c
2 changed files with 3 additions and 1 deletions
|
|
@ -32,6 +32,7 @@ enable_auto_save: bool = false,
|
|||
limit_auto_save_file_types: ?[]const []const u8 = null, // null means *all*
|
||||
enable_prefix_keyhints: bool = true,
|
||||
enable_auto_find: bool = true,
|
||||
ignore_filter_stderr: bool = false,
|
||||
|
||||
auto_run_time_seconds: usize = 120, //seconds
|
||||
auto_run_commands: ?[]const []const u8 = &.{"save_session_quiet"}, // a list of simple commands
|
||||
|
|
|
|||
|
|
@ -6154,8 +6154,9 @@ pub const Editor = struct {
|
|||
}
|
||||
|
||||
fn filter_error(self: *Self, bytes: []const u8) !void {
|
||||
defer self.filter_deinit();
|
||||
self.logger.print("filter: ERR: {s}", .{bytes});
|
||||
if (tui.config().ignore_filter_stderr) return;
|
||||
defer self.filter_deinit();
|
||||
if (self.need_save_after_filter) |info| {
|
||||
try self.save();
|
||||
if (info.then) |then|
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue