batch (sadly)

This commit is contained in:
2025-08-29 23:03:13 +02:00
parent 386ff7259c
commit 723cfa528d
16 changed files with 133 additions and 627 deletions

View File

@@ -10,7 +10,7 @@ beep_on_errors=true
auto_focus=false
sidebar_symbol_visible=true
sidebar_openfiles_visible=true
editor_font=Ubuntu Sans Mono Medium 8
editor_font=BlexMono Nerd Font Mono Medium 8
tagbar_font=Ubuntu Mono 8
msgwin_font=Ubuntu Mono Bold 8
show_notebook_tabs=false
@@ -141,6 +141,7 @@ treeview_position=226
msgwindow_position=710
geometry=321;29;1275;1020;0;
use_native_dialogs=true
skip_confirmation_for_replace_in_session=false
[tools]
terminal_cmd=konsole "%c"
@@ -156,6 +157,7 @@ print_page_numbers=true
print_page_header=true
page_header_basename=false
page_header_datefmt=%c
print_cmd_common_format=lpr '%d/%f'
[VTE]
load_vte=true