diff options
| author | RichardHitt <rbh00@netcom.com> | 2015-02-11 09:56:08 -0800 |
|---|---|---|
| committer | TingPing <tingping@tingping.se> | 2015-02-15 13:17:55 -0500 |
| commit | 8ca96d7ea3ec0281802eb08174ca2fdcbcc8263f (patch) | |
| tree | 726bfb7402ce3000354d1f3273f40810f01b9de0 /src/htm/Properties/Resources.resources | |
| parent | bbb81af55000bf7e2b59ba1f542de5a7d8478ee7 (diff) | |
xtext: Unselect old selection on button press
Fixes #943 Closes #1293
Diffstat (limited to 'src/htm/Properties/Resources.resources')
0 files changed, 0 insertions, 0 deletions