FIX: tabstop was missing in preferences

This commit is contained in:
GithubAnon0000 2025-09-29 23:42:36 +02:00
parent 84d887b831
commit e840aae5ec

View file

@ -1284,6 +1284,7 @@
<tabstop>interrupt_audio</tabstop>
<tabstop>showProgress</tabstop>
<tabstop>showEstimates</tabstop>
<tabstop>showColoredButtons</tabstop>
<tabstop>spacebar_rates_card</tabstop>
<tabstop>render_latex</tabstop>
<tabstop>url_schemes</tabstop>