You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Sidenote: gtkmm's translation API is a wrapper around gettext() which uses the English string directly as a key, so I'm not sure how much this'd actually gain us re: i18n. Your point about parameter sorting is fair, though, although perhaps we could look at something more sophisticated yet if we wanted to encode grouping information?
Having integer IDs starting at 0 would allow sorting parameters independently of lexical ordering, and also be much more i18n friendly.
The text was updated successfully, but these errors were encountered: