Can you write your gedit version? I am looking for a way to shorten document tabs. My gedit version is 3.18.3 and my document tabs consume all the 'document tab bar' (if we can say that). For example, if i have opened 2 documents for editing, each one's tab is consuming half the 'bar'. I see that your document tabs are smaller (and prettier) and i want to change mine.