240
edits
GUI terminal widget: Difference between revisions
→International Characters Support: Add one more bug to the list
(→International Characters Support: Add more bugs to the list) |
(→International Characters Support: Add one more bug to the list) |
||
| Line 61: | Line 61: | ||
#* {{bug|53809}} (probably resolved) | #* {{bug|53809}} (probably resolved) | ||
#* {{bug|54069}} (probably resolved) | #* {{bug|54069}} (probably resolved) | ||
#* {{bug|58717}} (probably resolved) | |||
=== Alternatives === | === Alternatives === | ||