martin
|
117bbb1157
|
IDE, Options: user defined markup, improve add/del words. Issue #0028253
git-svn-id: trunk@58586 -
|
2018-07-21 17:44:49 +00:00 |
|
martin
|
a1583e32f2
|
IDE: markup for user defined word-lists, fix some settings. Add global lists
git-svn-id: trunk@40075 -
|
2013-01-30 23:35:52 +00:00 |
|
martin
|
bd8e5e09a2
|
IDE: markup for user defined word-lists, improve option layout
git-svn-id: trunk@40069 -
|
2013-01-30 19:43:18 +00:00 |
|
martin
|
d1e28f34f8
|
IDE: markup for user defined word-lists, highlight duplicates in editor options frame/grid
git-svn-id: trunk@40039 -
|
2013-01-30 01:53:36 +00:00 |
|
martin
|
762694f67a
|
IDE: add markup for user defined word-lists
git-svn-id: trunk@40029 -
|
2013-01-29 18:23:20 +00:00 |
|