Copy a setting to all languages
So far I only can use this script to copy my settings on all the languages, but it would be nice to have a button (or a separate language called "Global") for this in the GUI
#/bin/bash
DIR=/org/gnome/builder/editor/language/
write_all() {
for LANG in $(dconf list $DIR)
do
LANG="$DIR$LANG"
echo $LANG
dconf write $LANG$1 $2
done
}
write_all tab-width 2
write_all right-margin-position 120
write_all insert-trailing-newline false
write_all insert-spaces-intead-of-tabs true
write_all insert-matching-brace true
write_all overwrite-braces true
write_all trim-trailing-whitespace true
write_all auto-indent true
I think also there should be a checkbox if you wanna overwrite non-default settings of languages too
Edited by Ilya Maximov