set font "Inconsolata 8"

set window-title-basename true
set statusbar-home-tilde true

# Enable again for SyncTeX, if needed
set dbus-service false