Wie kann ich in Gedit Text vergrößern und verkleinern?

Ich benutze Ubuntu 11.10. Dies scheint eine einfache Frage zu sein, aber ich kann nirgendwo eine Antwort finden.

Unter Ubuntu vor Unity habe ich das gedit-zoom-Plugin verwendet, um Text im Editor-Fenster mit Ctrl+ +/ -oder durch Halten des Mausrads Ctrl+ zu vergrößern bzw. zu verkleinern . Das gleiche Plugin scheint in Ubuntu 11.10 nicht zu funktionieren.

Wie kann ich die Möglichkeit zum Zoomen von Text erhalten?

11.10 gedit zoom

— Greg V.
quelle

Die Funktionalität scheint in 12.04 defekt zu sein. Strg + "-" und Strg + "0" funktionieren, während Strg + "+" und Strg + Mausrad dies nicht tun.

— Greg V.

Antworten:

v2screenshot

Unter Bearbeiten → Einstellungen → Plugins können Sie das Feld Textgröße ankreuzen und mit ctrl+ vergrößern +.
- Klicken Sie auf gedit-plugins , um die Gedit -Plugins zu installieren.
- Sie können das Plugin auch manuell herunterladen / installieren.
ctrlMit + Trackpad scroll(hoch / runter) können Sie nicht nur innerhalb von gEdit, sondern auch in Ihrem Webbrowser, Dateisystem usw. hinein- und herauszoomen.

Beide Möglichkeiten funktionieren in Ubuntu 11.10 einwandfrei.

Update-Informationen für Ubuntu 17.xx, 18.xx und höher, wie von code_dredd vorgeschlagen - getestet und funktioniert:

sudo apt-get install -y gedit-plugin-text-size

— v2r
quelle

Ich habe das Plugin, das Sie hier erwähnt haben, nicht.

— Jokerdino

Sie können es immer installieren (: Sie wissen, wie man ... richtig!?

— v2r

Das war ein Hinweis, der Sie aufforderte, den Teil über die Installation des Plugins hinzuzufügen. ;)

— jokerdino

Diese Schritte funktionieren unter Ubuntu 17.10 nicht mehr. Das gedit-pluginsPaket enthält das Paket nichtgedit-plugin-text-size . Sie haben jetzt das Paket manuell installieren: sudo apt-get install -y gedit-plugin-text-size.

— Code_dredd

@ v2r Es ist besser, einige Annahmen zu vermeiden :) Übrigens, eine Ihrer URLs ist defekt, und es wäre von Vorteil, wenn Sie Ihre Antwort aktualisieren könnten, um die neuesten Schritte zu berücksichtigen, die erforderlich sind, um dies zu erreichen. Sie können sich meinen vorherigen Kommentar dazu ansehen.

— Code_dredd

Bildbeschreibung hier eingeben Sie können die Schriftgröße im Menü "Einstellungen" auf der Registerkarte "Schriftarten" ändern

— Vanjoe
quelle

Vielleicht ist dies der einzige "offizielle" Weg. Aber wir suchen immer nach dem schnellsten Weg, nicht wahr?

— Oki Erie Rinaldi

Danke, das hat bei mir funktioniert, da ich das Plugin nicht habe! +1

— ocean800

Ich habe das "Text size"Plugin in der Liste der Plugins nicht gesehen, als ich es geöffnet habe, Preferences->Pluginsobwohl ich das gedit-pluginsPaket (via apt install) installiert und gediteinige Male neu gestartet habe . Also habe ich die entsprechende deb-Datei ( gedit-plugin-text-size_3.22.0-2_amd64.deb) manuell vom Launchpad ( http://launchpadlibrarian.net/335063179/gedit-plugin-text-size_3.22.0-2_amd64.deb ) für my heruntergeladen Ubuntu 17.10 x86_64und installiert, gedit und saw "Text size"plugin neu gestartet danach in der Liste. Aktivierte es und bekam schließlich die Zoom-In / Out-Funktion, die mouse-scroll-wheelich dringend benötigte.

Prost.