staging.inyokaproject.org

Hi,

Artikel wieder im Wiki. Vielen Dank insbesondere an Justin Time und Lsf Lf für die Überarbeitung 👍 !

@Lsf Lf: Ich nutze kein GNOME also kann ich das nicht sinnvoll betreuen.

Gruss Lasall

@ Lasall

wie wird das hier im Wiki gehandhabt … wie bspw wenn Webup8 die Extension Pakete wie angekündigt aus ihrem ppa entfernen? Kann man bei Feststellung den Artikel entsprechend nach bearbeiten oder muss dieser dann wieder in die Baustelle geschoben werden? Sorry für die Frage, aber ich bin noch nicht so konform mit "euren" Gepflogenheiten.

Kleine Änderungen so wie von Dir genannt kannst Du gerne direkt vornehmen. Gruss

OK, danke ... ☺

In Opera kann ist der Kippschalter etc. nicht sichtbar und somit lassen sich die Erweiterungen nicht mit Opera installieren.

Gibt es da einen Grund oder Workaround? Bevor ich das im Artikel ergänze wollte ich hier erst einmal nachfragen.

Gruß dome

dome schrieb:

In Opera kann ist der Kippschalter etc. nicht sichtbar und somit lassen sich die Erweiterungen nicht mit Opera installieren.

Gibt es da einen Grund oder Workaround? Bevor ich das im Artikel ergänze wollte ich hier erst einmal nachfragen.

Gruß dome

Was willst Du da ergänzen? Das Opera nicht dafür geeignet ist? Das steht schon drin … einen Tipp das ganze auch unter Opera auszuführen, gibt es meines Wissens (noch) nicht.

Das hab ich wohl überlesen (obwohl es in einem Kasten steht...). Schade dass es keine Lösung für Opera gibt. Dann braucht man natürlich nichts mehr ergänzen.

Mit Opera 12.10 können die Extensions installiert / deinstalliert werden.

Kann das jemand bestätigen?

dome schrieb:

Mit Opera 12.10 können die Extensions installiert / deinstalliert werden.

Kann das jemand bestätigen?

Bei mir nicht! Opera 12.10 (64Bit) … falls von belang Ubuntu 12.04 + GNOME 3.4

Es gehen nicht alle Extensions, aber das liegt wohl daran, dass sie nur für Gnome Shell 3.4 sind.

Ich habe hier Gnome Shell 3.6 (Ubuntu Gnome Remix) und Opera 12.10 64-bit.

Tatsache, das geht nun mit Opera 12.10 … Wow! Hab in meiner Vbox 12.10 + GNOME 3.6 Opera 12.10 neu installiert weil es da noch nicht drin war, da geht' s nun auch mit den Extensions. Nehme mal an das in dem bestehenden Opera-Profil was entfernt werden muss, damit das auch im aktualisierten Opera funzt. Denke aber schon das man das im Wiki Artikel anpassen/ergänzen kann, das nun auch mit Opera 12.10 Extensions verwaltet werden können.

Aber nur mit der Gnome Shell 3.6 oder?

dome schrieb:

Aber nur mit der Gnome Shell 3.6 oder?

Ja, scheint so … leider. Hab gerade mal mein bisherigen ~.opera umbenannt, um Opera 12.10 auf GNOME 3.4 mit jungfräulichen Profil gestartet … funzt nicht. Scheint tatsächlich in GNOME 3.6 eine Schnittstelle zu geben. ☹

Hab den Artikel angepasst. Denke das passt so, wenn nicht kann es ja geändert werden ☺

Hallo zusammen.

Hab da eine Frage bzw. ein Anliegen, betrifft meine Extension: Activities@dschaerf

Man kennt das ja, entweder wird versehentlich der HotCorner aktiviert oder man will die Arbeitsflächen-Übersicht und muss erst nach links und dann wieder nach rechts zur Auswahl der Arbeitsflächen. Deshalb hab ich mal meine Extension um einen zweiten HotCorner erweitert. Genaugenommen sind das zwei, einer Links (überlagert den original HotCorner) und einer Rechts. Sehr klein gehalten (1 Pixel) damit eine versehentliche Aktivierung (fast) ausgeschlossen ist. Und genau da liegt mein Problem, ich hab keine Ahnung ob das auf allen Bildschirmen/jeder Auflösung in der Größe dann problemlos funktioniert. Bevor ich die Änderung ins PPA stelle hätte ich das gerne geklärt, ob das so funktioniert oder besser mit 2, 5 oder gar mit 10 Pixel wäre. Vielleicht hat jemand Zeit und Lust das mal zu testen, hab den nötigen Code dafür in eine seperate Extension ausgelagert.

Link: http://download.dschaerf.de/source/HotCorner@dschaerf.tar.gz (getestet mit GNOME Shell 3.4 und 3.6)

Zur Größenanpassung können einfach die Angaben für height/width in der stylesheet.css angepasst werden.

Gruß dschaerf