Ich sehe diese Warnungen, wenn ich gedit von meinem Terminal aus starte. Schließlich startet gedit, aber mit diesen Warnzeilen jedes Mal, wenn ich gedit starte: (gedit:3830): Gtk-WARNING **: Theme parsing error: gtk-widgets.css:138:20: Not using units is deprecated. Assuming 'px'. (gedit:3830): Gtk-WARNING **: Theme parsing error: gtk-widgets.css:138:24: Not using units is …
Ich wollte es mit grafischen Werkzeugen über ssh ausprobieren. Nur um etwas Neues zu lernen :) Mein Verständnis ist also, dass ich mich wie folgt verbinde: ssh -port -x user @ server Aber ich verwende Ubuntu Server, so dass es keine GUI und somit keine GUI-Tools hat. Mein Verständnis ist, …
Ich benutze Gedit oft und habe daher in der Regel viele Tabs gleichzeitig geöffnet. In Gedit 2. * Ich konnte mit meinem Mausrad zwischen Registerkarten wechseln, aber seit Oneiric kann ich nicht. Ich gehe davon aus, dass dies an verschiedenen GTK "Upgrades" liegt. Kennt jemand ein Plugin (oder eine praktikable …
Wenn ich gedit maximiere, wird die letzte Zeile des Texteditors durch die Statusleiste am unteren Bildschirmrand verdeckt. Dies tritt auch dann auf, wenn ich zum Ende des Dokuments scrolle. Angenommen, das Dokument ist 200 Zeilen lang. Ich kann nach unten scrollen und Zeile 199 sehen. Zeile 200 wird von der …
Ich habe ein paar Fragen zum Terminal- oder Befehlszeilenverlauf, der in gespeichert ist ~/.bash_history. Ich kann die Datei im Terminal mit dem historyBefehl sehen, aber wenn ich versuche, sie mit gedit bash_historyder Datei zu öffnen, ist sie vollständig leer. Warum? Ich habe herausgefunden, wie eine bestimmte Anzahl von Zeilen in …
Nach meiner Frage von vor langer Zeit versuche ich immer noch, meine Fähigkeiten im Umgang mit Vermögen zu optimieren. Die Anzeige im Terminal ist fantastisch, nur eines bleibt übrig - die Syntaxhervorhebung in Gedit, wenn ich einzelne Vermögen hinzufüge, bearbeite oder lösche. Meine benutzerdefinierten Glücksdateien haben dieses Format: Friend: "Whats …
Wenn ich gedit verwende, wird eine Warnung angezeigt: (gedit:3166): Gtk-WARNING **: GtkScrolledWindow 0x236cd10 is mapped but visible child GtkScrollbar 0x2307ab0 is not mapped Wie kann ich es reparieren ?
Ich habe kürzlich ein Upgrade auf Ubuntu 13.04 durchgeführt und benutze gedit für viele Dinge. Ich habe versucht, einige Plugins zu installieren, die ich ziemlich häufig benutze, und bin auf einige Probleme gestoßen. Zuerst habe ich die Plugins so installiert: sudo add-apt-repository ppa:gnome3-team/gnome3 sudo apt-get install gedit-plugins Ich kann die …
Ich möchte, dass Gedit Dateien automatisch mit dem Standardnamen mit dem aktuellen Systemdatum und der aktuellen Uhrzeit speichert . Ist das möglich? Wenn nicht, gibt es einen Hack, um dasselbe zu erreichen? Die Verwendung dieser Funktion besteht darin, dass die Dateinamen standardmäßig eindeutig sind und für später leicht zu finden …
Kürzlich konnte ich den linken Rand zwischen Code- und Zeilennummern in Gedit (Gnome-Texteditor) in Ubuntu 12.10 vergrößern. Ich erinnere mich nicht daran, wie ich das erreicht habe, und ich erinnere mich auch nicht daran, wie Gedit zum klassischen Rand zurückgekehrt ist, der für mich sehr eng ist. Siehe Screenshot: Weiß …
Ich möchte gedit so konfigurieren, dass jedes Mal, wenn ich auf eine Textdatei doppelklicke, diese in einem neuen Fenster anstelle einer neuen Registerkarte geöffnet wird. Wie kann das gemacht werden? Etwas wie, gedit --new-window "file name" , aber mit einem Doppelklick Verwenden von Ubuntu 12.04 mit Zimt und Gedit - …
Dieses Plugin ist im gedit-pluginsPaket erhältlich. Außer dem Namen und der Kurzbeschreibung gibt es keine weiteren hilfreichen Informationen zur Verwendung des Plugins. Weiß jemand, wie man dieses Plugin benutzt?
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.