Erweiterungen erweitern die Benutzeroberfläche eines Programms um zusätzliche Funktionen. Nicht zu verwechseln mit Plugins. Beispiele für Programme, die Erweiterungen verwenden, sind GNOME Shell, Mozilla Firefox und Google Chrome.
Was ist die PHP- mbstringErweiterung und wie lässt sie sich am besten unter Ubuntu 14.04
Wie installiere ich GNOME Shell-Erweiterungen? Ist es möglich, die Erweiterungen zu aktualisieren, zu entfernen und zu
In Gnome Tweak Tool kann ich das Shell-Thema nicht ändern: Bewegen der Maus über das Ausrufezeichen zeigt den folgenden Tool-Tip: Shell user-theme extension not enabled. Ich benutze Ubuntu 14.10 und habe Gnome-Shell-Erweiterungen
Es gibt Bilder von Tieren, die zufällig auf meinem Computer auftauchen. Wenn ich die Maus über das Tier bewege, wird es zu einem Schwertsymbol, und wenn ich darauf klicke, verschwindet das Tier, aber nach ein paar Minuten kommt ein anderes Tier hoch. Ich denke, es könnte mit Chrom zusammenhängen,...
Wie kann ich die obere Leiste in Gnome 3.28 Ubuntu 18.04 ausblenden? Wie kann die Hide-Top-Bar-Erweiterung installiert
Ich verwende Ubuntu Gnome 13.10 mit Gnome 3.10. Mein Problem ist, dass bei jedem Neustart des Betriebssystems alle Shell-Erweiterungen deaktiviert werden. Das Seltsame ist, dass ihre Einstellungen beibehalten werden. Sie sind nur ausgeschaltet und ich muss sie jedes Mal wieder aktivieren. Wie kann...
Die GNOME-Shell verfügt über das sogenannte Feature "Hot Corner", das das Dashboard öffnet, wenn die Maus die linke obere Ecke eines Bildschirms berührt. Ich möchte, dass dies deaktiviert wird. Früher hatte ich eine GNOME-Shell-Erweiterung, aber das Repository wurde nicht mehr gefunden: git clone...
Problembeschreibung Ich mag die 2 mal 2 Arbeitsbereiche in Ubuntu 16.04 sehr. Aber ich kann anscheinend nur den Arbeitsbereich nach oben und unten verschieben. Gibt es einen Weg, dies zu erreichen? Was ich probiert habe Es wurde versucht, die GNOME-Erweiterung mit dem Namen Workspace Grid (hier...
Wo finde ich das Virtualbox Extension Pack für 14.04.1 LTS (64bit) Ich habe virtualbox via synaptic installiert. Die installierte Version ist 4.3.10. Ich kann anscheinend kein entsprechendes Extension Pack finden. Mein Fallback wäre, direkt zu installieren, aber ich bin gespannt, ob es verfügbar...
Wo werden Erweiterungen gespeichert, nachdem sie in Chromium installiert
Angenommen, ich habe meine Gnome-Shell-Erweiterungen erfolgreich installiert. Aber ich möchte über die Befehlszeile deaktivieren / deaktivieren. Dies ist nur mit der Maus AFAIK möglich. Wie kann ich das machen
Ich migriere von Unity zu GNOME. Ein Punkt, den ich vermisse, ist eine Schaltfläche "Desktop anzeigen" (alias "Alle Fenster minimieren") im Bindestrich. Wie kann ich diese Funktionalität dem GNOME-Dash (oder dem Ubuntu-Dock in Ubuntu 17.10 und höher) hinzufügen, selbst wenn dies bedeutet, dass eine...
Ich verwende die Gnome-Shell 3.4.1 unter Ubuntu 12.04. Ich habe verschiedene Erweiterungen von http://extensions.gnome.org ausprobiert und möchte nun einige vollständig entfernen, insbesondere, weil sie in Gnome Tweak Tool keinen Platz beanspruchen. Ist es sicher, nur den Erweiterungsordner unter...
Wenn ich ein neues Dokument erstelle, das nur einfachen Text enthält, muss Ubuntu dem Namen keine .txt-Erweiterung hinzufügen. Es funktioniert in der Tat sehr gut: gedit öffnet es ohne Probleme und versteht sehr gut, dass es sich nur um Text handelt. Die einzigen zwei Argumente, die ich von nun an...
Das große Dock links. In anderen Versionen könnten Sie Unity Launcher entkommen, indem Sie zu Gnome gehen. Was nun? Gnome Tweaks zeigt es nicht als Erweiterung an, obwohl es aussieht, als würde man es ankoppeln. Ich sehe Autohide-Optionen in den Einstellungen, kann sie jedoch nicht vollständig...
Ich kann auf die Website https://extensions.gnome.org/ gehen und Gnome-Shell-Erweiterungen herunterladen. Jetzt muss ich jedoch einige dort verfügbare Erweiterungen auf einem Computer installieren, der überhaupt keinen Internetzugang hat. Es befindet sich in einem internen Unternehmensnetzwerk und...
Ich wollte einige Gnome-Shell-Erweiterungen entwickeln, da sie nur in Javascript sind, aber ich habe nachgeschaut und es gibt praktisch keine Dokumentation. Überall, wo ich hinschaue, sagen die Leute nur, dass sie die grundlegende Gnome-Dokumentation verwenden sollen, aber das hilft NICHT, das kann...
Ubuntu 17.10 führt die GNOME-Shell mit dem Ubuntu-Dock ein (basierend auf der Dash-to-Dock- Erweiterung der GNOME-Shell) und ermöglicht es Ihnen, das Dock am unteren Rand des Desktops zu platzieren: Es gibt jedoch keine einfache Möglichkeit, das Symbol Show Applications (siehe rechts) links vom...
Wie erhalte ich weitere Informationen, warum eine bestimmte Erweiterung nicht funktioniert, und zeige beim Versuch, sie zu aktivieren, die Meldung "Fehler beim Laden der Erweiterung"?
Die Reihenfolge der Shell-Erweiterungs-Widgets scheint zufällig zu sein. Wie kann ich sie ändern? Ich möchte zum Beispiel die Datums- / Uhrzeitinformationen auf der linken Seite haben. Mein Shell Panel: