On Fri, 19 Feb 2010 22:36:29 -0800, Tony wrote:
One of the modifications in the Doc patch about Tools-Reload
Configuration is in the *Inserting Unicode characters* section. Here
is the modified excerpt:
With GTK 2.10 and above, you can insert Unicode code points by hitting
Ctrl-Shift-u, then
2010/2/22 Enrico Tröger enrico.troe...@uvena.de
On Fri, 19 Feb 2010 22:36:29 -0800, Tony wrote:
One of the modifications in the Doc patch about Tools-Reload
Configuration is in the *Inserting Unicode characters* section. Here
is the modified excerpt:
With GTK 2.10 and above, you can
On Sun, Feb 21, 2010 at 1:49 PM, Tony Rick tony...@gmail.com wrote:
On Sun, Feb 21, 2010 at 1:29 PM, Lex Trotman ele...@gmail.com wrote:
Weird, never noticed that finishing the input with Space works as well.
Anyway, the note about unbinding Ctrl-Shift-u in the preferences was
added because
Am Sonntag, den 21.02.2010, 14:09 -0800 schrieb Tony Rick:
On Sun, Feb 21, 2010 at 1:49 PM, Tony Rick tony...@gmail.com wrote:
On Sun, Feb 21, 2010 at 1:29 PM, Lex Trotman
ele...@gmail.com wrote:
Weird, never noticed
