Closed GoogleCodeExporter closed 9 years ago
OK /reloadui shows changes, my mistake, odd though never had to do that before.
Original comment by Martin.R...@gmail.com
on 19 Mar 2008 at 11:59
It should call ReInitialize() but I guess it's not.
Original comment by genera...@gmail.com
on 22 Mar 2008 at 12:11
Original comment by genera...@gmail.com
on 22 Mar 2008 at 12:18
This has been fixed with the new 2.4 version of TinyTipOptions.
Original comment by genera...@gmail.com
on 31 Mar 2008 at 1:20
Original issue reported on code.google.com by
Martin.R...@gmail.com
on 18 Mar 2008 at 12:11