-
Florin Apostol authored
fixed recognition of $$ after a $ that ends an identifier, eg $Time$$$ https://bugzilla.gnome.org/show_bug.cgi?id=751682
e2d11263
fixed recognition of $$ after a $ that ends an identifier, eg $Time$$$ https://bugzilla.gnome.org/show_bug.cgi?id=751682