<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<br><div><div>Le 21 août 10 à 17:17, Jonas Finnemann Jensen a écrit :</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Hi,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div></blockquote><div><br class="webkit-block-placeholder"></div>Hello Jonas,</div><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><div>First over all, I'd like to congratulate you for your work, really awesome !</div><div><br class="webkit-block-placeholder"></div><div><br><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">I was asked to post one of my GSoC patches here. The patch adds a new <span class="Apple-style-span" style="-webkit-text-stroke-width: -1; ">symbols to starmath, mainly "%mapsto" and "bow <text>". It also allows</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">limits, using "to" and "from" to "union" and "intersection", so that <span class="Apple-style-span" style="-webkit-text-stroke-width: -1; ">writing "union from a to b Q_i" is a legal and works as if "union" was</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">replaced with "sum".</div></blockquote><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div>Yes, </div><div><br class="webkit-block-placeholder"></div><div><br><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">The bow command draws a half circle above the following command, much <span class="Apple-style-span" style="-webkit-text-stroke-width: -1; ">like "widehat". The symbol used is not really, pretty enough so I've included a patch that doesn't have the bow command.</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div></blockquote><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Note: That this patch changes the file format and that older versions <span class="Apple-style-span" style="-webkit-text-stroke-width: -1; ">of starmath will not be able to display these symbols correctly... I</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">suggest that this is taken into consideration before the patch is <span class="Apple-style-span" style="-webkit-text-stroke-width: -1; ">merged into anything...</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div></blockquote><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><div>Indeed : insert such symbols in an equation, and the backward compatibility is broken : older versions of go-oo will not be able to see them. This is of course an ODF issue, and maybe Eike (reading this list ) or someone else, ODF specialist, could tell us more about the process ?</div><div><br class="webkit-block-placeholder"></div><div>The point is to add those new symbols in the odf spec.</div><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><br><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Patch for %mapsto and union/intersection fix:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a href="http://jopsen.dk/downloads/GSoC2010/symbols-27-june.diff">http://jopsen.dk/downloads/GSoC2010/symbols-27-june.diff</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Patch for %mapsto, union/intersection fix and bow:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a href="http://jopsen.dk/downloads/GSoC2010/symbols-20-august.diff">http://jopsen.dk/downloads/GSoC2010/symbols-20-august.diff</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div></blockquote><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><div>Just a little nitpick : add bow definition in the enumeration in <span class="Apple-style-span" style="font-family: Courier; ">starmath/inc/types.hxx is the right thing to do, but so far, all symbols respect the aphabetic order, and maybe you could move bow at the right place ? ( not between widehat and widetilde imho ;-) </span></div><div><font class="Apple-style-span" face="Courier"><br class="webkit-block-placeholder"></font></div><div><br></div>Other question: maybe I badly tested, but I didn't see bow in the symbols (in the UI, the dialog box used for the visual editor e.g.) ? Is it possible to add it ?</div><div><br></div><div><br class="webkit-block-placeholder"></div><div><br><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Examples:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a href="http://jopsen.dk/downloads/GSoC2010/mapsto.png">http://jopsen.dk/downloads/GSoC2010/mapsto.png</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a href="http://jopsen.dk/downloads/GSoC2010/union.png">http://jopsen.dk/downloads/GSoC2010/union.png</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div></blockquote><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div>Great work : my contacts (all profs of math) who tested the features you added in OOo4Kids and OOoLight, are glad to see these new symbols (at least !!) </div><div><br class="webkit-block-placeholder"></div><div><br><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">My primary GSoC patch, for visual formula editing, is not production <span class="Apple-style-span" style="-webkit-text-stroke-width: -1; ">ready, yet... But I plan to keep working on that...The other results</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">of my GSoC project can be seen here: <span class="Apple-style-span" style="-webkit-text-stroke-width: -1; "><a href="http://www.freedesktop.org/wiki/Software/ooo-build/SummerOfCode/2010/Jonas">http://www.freedesktop.org/wiki/Software/ooo-build/SummerOfCode/2010/Jonas</a></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div></blockquote><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><div>Thank you very much for sharing your work online. No doubt next students will profit of your (very good) experience. </div><div><br class="webkit-block-placeholder"></div><div>To be honest, this is the first time I saw (you and Michal) so serious students, and providing so nice results.</div><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><br><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">If I find time some day it is my intention to write a small article <span class="Apple-style-span" style="-webkit-text-stroke-width: -1; ">about adding symbols to starmath... And I promise to post a link here</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">if such an event were to occur... :)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><br></div></blockquote><br><div><br class="webkit-block-placeholder"></div><div>That's a great idea, but the SoC is not finished, and even if it is, you can count on me to help you if I can, and to test, read you code. </div><div><br class="webkit-block-placeholder"></div><div>Last but not least,, please keep in mind say a thank you to all the people who helped you, e.g. solving build issues or whatever : this is a golden rule in Open source.</div><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><div><br class="webkit-block-placeholder"></div><div>Regards,</div><div>Eric Bachard</div><div><br class="webkit-block-placeholder"></div></div><div> <span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 14px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">-- </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">qɔ<font class="Apple-style-span" face="Lucida Grande"><span class="Apple-style-span" style="font-family: 'Lucida Grande'; ">ᴉɹə</span></font></div><div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Education Project:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a href="http://wiki.services.openoffice.org/wiki/Education_Project">http://wiki.services.openoffice.org/wiki/Education_Project</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Projet OOo4Kids : <a href="http://wiki.ooo4kids.org/index.php/Main_Page">http://wiki.ooo4kids.org/index.php/Main_Page</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">L'association EducOOo : <a href="http://www.educoo.org">http://www.educoo.org</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Blog : <a href="http://eric.bachard.free.fr/news">http://eric.bachard.free.fr/news</a></div><div><br class="webkit-block-placeholder"></div></div><div><br class="khtml-block-placeholder"></div><br class="Apple-interchange-newline"></span></span><br class="Apple-interchange-newline"> </div><br></body></html>