Ubuntu 14.04 libgnomeprintui

[ts-soft]

Das Problem hat sich doch längst erledigt. libgnomeprintgui wird nicht mehr benötigt.

- Aktualisiert: die Linux Printer Bibliothek, um natives GtkPrint anstelle von GnomePrint zu verwenden

[pcfreak1201]

OK, die Hilfe unter Linux funktioniert bei mir im Moment nicht (wohl ein bekannter Bug),
ich sehe nur die Schlagwörter, aber keinen Text. Muß mal wieder in die Windows-Hilfe schauen

Aber ich freue mich, daß auch dieses Problem gelöst ist

[NicTheQuick]

OK, die Hilfe unter Linux funktioniert bei mir im Moment nicht (wohl ein bekannter Bug),
ich sehe nur die Schlagwörter, aber keinen Text. Muß mal wieder in die Windows-Hilfe schauen

Aber ich freue mich, daß auch dieses Problem gelöst ist

Irgendwo in der Config-Datei von Purebasic kann man den Fehler beheben.
Oder mit diesem One-Liner im Terminal. Der setzte den Splitter zurück.

Code: Alles auswählen

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

[pcfreak1201]

Moin!

Äh, ja .. es behebt "etwas", aber einen Fehler korrigieren sieht anders aus
https://drive.google.com/file/d/0B6T0p7 ... 1k/preview

Gruß,
Stefan

[ts-soft]

Dann Pass die Zeile für sed doch an

[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!