Bonjour,
Je continue avec mes questions se rapportant à XML pur et dur :
Est-il possible, dans un fichier XML, de définir une taille de police de caractère à employer ?
Dans une application (Inkscape), je veux modifier une extension existante. Cette extension est "appelée" via un fichier XML tout simple (sans accessoires) qui décrit une fenêtre dans laquelle il est possible de sélectionner des options, d'introduire, dans des champs de saisie, des valeurs. Ces valeurs seront par la suite récupérées par une application Python qui récupère les valeurs et options de cette fenêtre.
Mais j'ai beaucoup d'options à placer sur une seule fenêtre et je voudrais réduire un peu la taille des caractères pour gagner de la place.
Est-ce possible ?
Comment faire ?
Voici un exemple de code de cette fenêtre :
Code :
- <?xml version="1.0" encoding="UTF-8"?>
- <inkscape-extension xmlns="http://www.inkscape.org/namespace/inkscape/extension">
- <_name>Add Nodes</_name>
- <id>org.ekips.filter.addnodes</id>
- <dependency type="executable" location="extensions">addnodes.py</dependency>
- <dependency type="executable" location="extensions">inkex.py</dependency>
- <param name="method" type="optiongroup" _gui-text="Division method">
- <_option value="bymax">By max. segment length</_option>
- <_option value="bynum">By number of segments</_option>
- </param>
- <param name="max" type="float" min="0.1" max="10000.0" _gui-text="Maximum segment length (px)">10.0</param>
- <param name="segments" type="int" min="1" max="1000" _gui-text="Number of segments">2</param>
- <effect needs-live-preview="false">
- <object-type>path</object-type>
- <effects-menu>
- <submenu _name="Modify Path"/>
- </effects-menu>
- </effect>
- <script>
- <command reldir="extensions" interpreter="python">addnodes.py</command>
- </script>
- </inkscape-extension>
|
Merci.
Message édité par Papy_Octet le 14-08-2011 à 18:22:52
---------------
Cogito Ergo Sum.
