Overview
| Comment: | [lo] lexicon editor ui: widen space for labels |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | lo | multid |
| Files: | files | file ages | folders |
| SHA3-256: |
db28345207231f9b364d51e272afbda0 |
| User & Date: | olr on 2018-02-28 06:03:03 |
| Other Links: | branch diff | manifest | tags |
Context
|
2018-02-28
| ||
| 07:50 | merge trunk check-in: a973e9aad8 user: olr tags: multid | |
| 06:03 | [lo] lexicon editor ui: widen space for labels check-in: db28345207 user: olr tags: lo, multid | |
|
2018-02-27
| ||
| 20:50 | [graphspell][py] dawg: API modifications + add function to get dictionary as JSON check-in: 8a0391b163 user: olr tags: graphspell, multid | |
Changes
Modified gc_lang/fr/oxt/DictOptions/LexiconEditor.py from [609002a6a0] to [34785f0710].
| ︙ | |||
134 135 136 137 138 139 140 | 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 | - - - + + + |
# Note: the only way to group RadioButtons is to create them successively
self.xNA = self._addWidget('nom_adj', 'RadioButton', nX1, nY2+12, 60, nHeight, Label = self.dUI.get("nom_adj", "#err"), HelpText = ":N:A")
self.xN = self._addWidget('nom', 'RadioButton', nX1, nY2+22, 60, nHeight, Label = self.dUI.get("nom", "#err"), HelpText = ":N")
self.xA = self._addWidget('adj', 'RadioButton', nX1, nY2+32, 60, nHeight, Label = self.dUI.get("adj", "#err"), HelpText = ":A")
self.xM1 = self._addWidget('M1', 'RadioButton', nX1, nY3+12, 60, nHeight, Label = self.dUI.get("M1", "#err"), HelpText = ":M1")
self.xM2 = self._addWidget('M2', 'RadioButton', nX1, nY3+22, 60, nHeight, Label = self.dUI.get("M2", "#err"), HelpText = ":M2")
self.xMP = self._addWidget('MP', 'RadioButton', nX1, nY3+32, 60, nHeight, Label = self.dUI.get("MP", "#err"), HelpText = ":MP")
|
| ︙ |