Re: Ubuntu 14.04 libgnomeprintui
Verfasst: 11.05.2016 21:57
Ups, ich war davon ausgegangen, daß der Splitter nur der "Balken" ist, und sich dadurch nicht der rechte Bereich des Fensters vergrößert.
Aber das ist tatsächlich der Fall
Mit sieht es richtig gut aus! 
Aber das ist tatsächlich der Fall
Mit
Code: Alles auswählen
sed -i '/\[Help\]/!b;n;n;n;n;n;cSplitter = 500' ~/.purebasic/purebasic.prefs