Tue, 25 Feb 2014 21:32:26 +0100 | wenzelm | back to Markup.command for actual tokens (amending 4a4e5686e091) -- avoid conflict of jEdit token marker with Rendering.text_colors; | changeset | files |
Tue, 25 Feb 2014 20:57:57 +0100 | wenzelm | tuned signature; | changeset | files |
Tue, 25 Feb 2014 20:46:09 +0100 | wenzelm | no word completion within word context; | changeset | files |
Tue, 25 Feb 2014 20:15:47 +0100 | wenzelm | more completion rendering: active, semantic, syntactic; | changeset | files |
Tue, 25 Feb 2014 18:07:35 +0100 | wenzelm | tuned; | changeset | files |
Tue, 25 Feb 2014 17:23:20 +0100 | wenzelm | tuned message -- more markup; | changeset | files |
Tue, 25 Feb 2014 17:03:55 +0100 | wenzelm | clarified token markup: keyword1/keyword2 is for syntax, and "command" the entity kind; | changeset | files |