Bug #2310
RCP: 0.7.9, PDF manual not opened, manual not opened: java.lang.UnsupportedOperationException: Desktop API is not supported on the current platform
| Statut: | New | Début: | 21/12/2017 | |
|---|---|---|---|---|
| Priorité: | Normal | Echéance: | ||
| Assigné à: | - | % réalisé: | 0% |
|
| Catégorie: | UI | Temps passé: | - | |
| Version cible: | TXM 0.X.X |
Description
Ubuntu 64 16.04
Description version 1¶
The Read manual help "command" did not open the PDF manual and no message is prompt (no stack, no log)
Description version 2¶
Here is the console log:
Error: manual not opened: java.lang.UnsupportedOperationException: Desktop API is not supported on the current platform
Solution 1¶
expand the try-catch block to the whole method and catch all Throwable instead of IOException
Solution 2¶
???
Historique
#1 Mis à jour par Serge Heiden il y a plus de 7 ans
- Sujet changé de RCP: 0.7.9, PDF manual not opened à RCP: 0.7.9, PDF manual not opened, manual not opened: java.lang.UnsupportedOperationException: Desktop API is not supported on the current platform
- Description mis à jour (diff)
#2 Mis à jour par Sebastien Jacquot il y a plus de 7 ans
- Version cible changé de TXM 0.8.0a (split/restructuration) à TXM 0.8.0
#3 Mis à jour par Matthieu Decorde il y a plus de 6 ans
- Version cible changé de TXM 0.8.0 à TXM 0.X.X