View Full Version : Non riesco a fare le parentesi graffe in Gedit...
Ciao a tutti, come da titolo non riesco a scrivere le parentesi graffe in Gedit, infatti la combinazione di tasti "shift + alt + è" funziona ovunque fuorchè nell'unico programma che mi interessa, qualcuno può aiutarmi? :cry:
In particolare è come se alt non venisse riconosciuto dal programma....
Provato con la combinazione ALT + SHIFT + parentesi quadra?
Hypnotoad
15-11-2011, 16:30
e' un baco del programma --> https://bugzilla.gnome.org/show_bug.cgi?id=609019
Provato con la combinazione ALT + SHIFT + parentesi quadra?
Purtroppo si, senza risultato...
e' un baco del programma --> https://bugzilla.gnome.org/show_bug.cgi?id=609019
mannaggia hai ragione!
Hypnotoad
15-11-2011, 19:13
hai provato come dicono a fare cosi?
Yes, similar to bug 627766 I added the following lines to the
gedit.app/Contents/Resources/etc/gtk-2.0/gtkrc file:
binding "gtk-mac-alt-brackets"
{
bind "<alt>5" { "insert-at-cursor" ("[")}
bind "<alt>6" { "insert-at-cursor" ("]")}
bind "<alt>7" { "insert-at-cursor" ("|")}
bind "<alt>8" { "insert-at-cursor" ("{")}
bind "<alt>9" { "insert-at-cursor" ("}")}
}
class "GtkTextView" binding "gtk-mac-alt-brackets"
class "GtkEntry" binding "gtk-mac-alt-brackets"
This solves the problem for the mentioned brackets. Unfortunately this does not
work for the backslash. The line
bind "<shift><alt>7" { "insert-at-cursor" ("\\")}
seems to be overwritten by the <alt>7 binding, no matter if it is defined
before or after the pipe.
vBulletin® v3.6.4, Copyright ©2000-2025, Jelsoft Enterprises Ltd.