my colleague and I have different preferences in the text colors in terminals. But since we use a shared document, we can not set it individually. Would it be possible to make this setting (like the skins) global and per user adjustable?
I think that should work. Thank you!