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

23

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?

Greg V.
quelle
1
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:

27

v2screenshot

  1. Unter BearbeitenEinstellungenPlugins können Sie das Feld Textgröße ankreuzen und mit ctrl+ vergrößern +.

  2. 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

Bildbeschreibung hier eingeben

v2r
quelle
1
Ich habe das Plugin, das Sie hier erwähnt haben, nicht.
Jokerdino
Sie können es immer installieren (: Sie wissen, wie man ... richtig!?
v2r
1
Das war ein Hinweis, der Sie aufforderte, den Teil über die Installation des Plugins hinzuzufügen. ;)
jokerdino
6
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
1
@ 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
5

Bildbeschreibung hier eingebenSie 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
1

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.


quelle