On 4/8/2013 12:51 PM, Daniel Naber wrote: > On 07.04.2013, 17:38:12 Joel Sherrill wrote: > >> Following up on this, is there a way to add words >> to a personal dictionary using the Java GUI front end? > Sorry, we don't have that feature yet. OK. Any work-around like manually adding or hacking an XML file? > About the words you suggested: > thanks, but could you add a bug report for them? They might get lost > without one. Done. PR3610319
Makes me glad RTEMS has its own Bugzilla instance. That's a large number. I would hate to think we were working on bug 3.6 million. :) > > Regards > Daniel > -- Joel Sherrill, Ph.D. Director of Research & Development [email protected] On-Line Applications Research Ask me about RTEMS: a free RTOS Huntsville AL 35805 Support Available (256) 722-9985 ------------------------------------------------------------------------------ Minimize network downtime and maximize team effectiveness. Reduce network management and security costs.Learn how to hire the most talented Cisco Certified professionals. Visit the Employer Resources Portal http://www.cisco.com/web/learning/employer_resources/index.html _______________________________________________ Languagetool-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/languagetool-devel
