Wie der Name schon sagt, ist das Windows-Optionen-Plugin für Windows deshalb findest du das in deiner Installation auch nicht.
Leider weiß ich nicht, wie man das unter Linux bewerkstelligen könnte, aber vllt hat ja jemand anderes eine Idee.
--blubby
Edit: die meisten Fenstermanager haben eine Always-on-Top-Option (einfach mal nen Rechtsklick auf den Eintrag in der Taskleiste machen). Wenn du das Fenster dann noch rechts an die Seite schiebst, hast du zumindest sowas ähnliches wie die Andockfunktion.
Leider weiß ich nicht, wie man das unter Linux bewerkstelligen könnte, aber vllt hat ja jemand anderes eine Idee.
--blubby
Edit: die meisten Fenstermanager haben eine Always-on-Top-Option (einfach mal nen Rechtsklick auf den Eintrag in der Taskleiste machen). Wenn du das Fenster dann noch rechts an die Seite schiebst, hast du zumindest sowas ähnliches wie die Andockfunktion.