Ubuntu 14.04 libgnomeprintui

[pcfreak1201]

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

Code: Alles auswählen

sed -i '/\[Help\]/!b;n;n;n;n;n;cSplitter = 500' ~/.purebasic/purebasic.prefs

sieht es richtig gut aus!