<2010-07-10> (EditorKit) ajout méthode getCurrentMouseToolType.
Authored by: vincentb1 2010-07-14
Parent: [r902]
Child: [r904]