Re : Gestionnaire de préférences (avec import/export)@Ressel ,
Cela aide, de sorte que le complément se charge correctement dans 17, mais l'application des préférences que vous avez exportées à partir de 16 ne se charge pas correctement dans 17. Les modifications apportées aux plates-formes et à leurs options dans 17 pourraient être une source de problèmes, mais généralement ces modifications ne devraient pas générer d'erreur lorsque les préférences sont appliquées. D'après mon expérience, l'incompatibilité des polices est souvent un problème, donc s'il manque une police dans Windows 11 que vous utilisiez dans Windows 10, cela pourrait être un problème. Je vais voir si je peux reproduire le problème, mais je soupçonne qu'il pourrait être difficile de le retrouver car cela se résumera probablement à une préférence spécifique qui a été définie et qui est incompatible pour une raison quelconque. Je suis heureux que vous ayez pu continuer à utiliser le fichier de préférences exporté pour appliquer les paramètres individuellement. Pas idéal, mais au moins vous n'avez pas perdu vos personnalisations !
@julien
Re : Gestionnaire de préférences (avec import/export)Salut @Ressel ,
Je suis désolé d'apprendre que ce complément ne fonctionne pas pour vous. Pouvez-vous m'en dire plus sur ce qui se passe et sur quel système d'exploitation vous êtes ?
Re : Gestionnaire de préférences (avec import/export)Bonjour, la mise à niveau de JMP 16 vers JMP 17 et l'ajout n'ont pas fonctionné. Un correctif ? Merci?
Re : Gestionnaire de préférences (avec import/export)Ayant déménagé entre différentes entreprises et entre Mac/PC, cela me fera gagner beaucoup de temps sur la reconfiguration des choses !
Très utile.
Bien à vous,
Dereck.
Re : Gestionnaire de préférences (avec import/export)@julien , oui, bien sûr, les messages d'erreur ne s'affichaient que lorsque j'ai supprimé la partie "Try" du script, car je me demandais ce qui empêchait l'application de mes préférences JMP 16 à JMP 17. Cela étant dit, la définition des préférences dans JMP n'est toujours pas appréciée dans notre petit groupe d'utilisateurs au travail. De plus, lorsque j'ai fait une présentation lors de la dernière réunion du groupe d'utilisateurs nordiques, un participant a spécifiquement commenté mes "bons" paramètres (étiquettes faciles à lire partout, points un peu plus gros dans les graphiques, lignes agréables et épaisses), d'où j'ai deviné que lutter avec les préférences peuvent être une chose dans la communauté JMP. Avoir les bonnes préférences peut faire gagner beaucoup de temps, je pense. Si je me souviens bien, quelques minutes ont été consacrées à discuter de cela, y compris l'incapacité actuelle de changer la police dans le regroupement des étiquettes dans le générateur de graphiques.
Re : Gestionnaire de préférences (avec import/export)@julien , eh bien cela fonctionnait tant que je modifiais les paramètres dans JMP 16, mais puisque vous le mentionnez, le problème observé s'est produit lorsque j'ai mis à niveau en même temps de JMP 16 à JMP 17, de Windows 10 à Windows 11 et d'une personne âgée à un nouvel ordinateur portable HP. J'ai exporté les préférences de JMP 16 et j'ai essayé de les écrire dans JMP 17, sur la nouvelle machine fonctionnant sous Windows 11. Je pourrais toujours réutiliser des parties des paramètres exportés, cependant, de manière très inefficace, bloc de code par bloc de code. J'aurais dû prendre des captures d'écran des messages d'erreur, mais je ne l'ai pas fait. Je soupçonnais que cet ajout ne fonctionnant pas pour JMP 17 était plusieurs mises à niveau des plates-formes individuelles, mais c'est probablement incorrect ?
Modifier 11-Mai-'23 : Le commentaire ci-dessus est incorrect. Notre expert en informatique, qui s'est assis avec moi pendant la session, a commenté après avoir lu ce qui précède : "ce n'est pas correct, nous avons d'abord essayé la mise à niveau sur le même ordinateur portable avant de passer au nouveau Windows 11."
Re : Gestionnaire de préférences (avec import/export)Salut Julien,
Merci pour ce super complément. Je l'ai utilisé quotidiennement dans jmp16 (mon patron est très pointilleux sur le format et votre complément est d'une grande aide, bravo !). Lorsque je suis passé à jmp17 il y a plusieurs jours, j'ai rencontré le même problème que Ressel avait.
Un point de données supplémentaire est que j'ai récupéré jmp16 et que 16 et 17 sont installés sur mon ordinateur (avec un dossier partagé pour les fichiers de paramètres de préférences sur \AppData\Roaming\SAS\JMP\Addins\JMP.Preferences.Manager\usrPref). Et maintenant, le complément ne fonctionne pas dans les deux versions de jmp. Je suis curieux de savoir si certains paramètres jmp17 écrasent dans le système et remplacent la fonctionnalité jmp16 ...
Des idées?
Merci!
Re : Gestionnaire de préférences (avec import/export)Ce sont des informations utiles, @NullChicken758 ! Il semble plus qu'il puisse y avoir une sorte de structure qui modifie les préférences dont je n'étais pas au courant ici. Je regarde cela et j'espère qu'il y a un remède assez simple
Re : Gestionnaire de préférences (avec import/export)Salut Julien,
BTW, certains scripts de définition de préférences simples fonctionnent toujours, voir ci-dessous. Mais je ne sais pas pourquoi celui que vous avez utilisé (Try-set) ne fonctionne pas.
Préférences(
Polices(
Anglais(
Police Axis( "Segoe UI", 20, "Bold" ),
Police du titre de l'axe ("Segoe UI", 24, "Gras"),
Légende ("Segoe UI", 20)
)
)
);
Gestionnaire de préférences (avec import/export)
Le complément Preferences Manager vous permet d’enregistrer, d’exporter, d’importer et de basculer entre les profils de préférences. Un profil de préférences stocke toutes les personnalisations que vous avez effectuées dans les préférences JMP (par exemple, paramètres de plate-forme et de rapport, paramètres de graphique, couleurs, styles, etc.).
Utilisation de base :
Lorsque vous installez et lancez pour la première fois le gestionnaire de préférences à partir du menu Compléments, vous n'aurez aucun profil enregistré. Commencez par enregistrer vos préférences JMP actuelles en cliquant sur « Enregistrer les préférences actuelles ». Vous serez invité à saisir un nom (dans l'exemple ci-dessous, j'utilise "Standard").
Vous avez maintenant enregistré les préférences actuelles dans le profil "Standard".
- Si vous souhaitez mettre à jour ce profil : apportez quelques modifications à vos préférences JMP, puis lancez le complément, sélectionnez le profil que vous souhaitez mettre à jour et cliquez sur "Mettre à jour le profil sélectionné".
- Si vous modifiez vos préférences, réinitialisez vos préférences aux valeurs par défaut de JMP ou, pour quelque raison que ce soit, si vous vous éloignez de vos préférences « Standard », vous pouvez redéfinir toutes les préférences sur le profil « Standard » en sélectionnant le profil, puis en cliquant sur « Appliquer le profil sélectionné ». ".
- Si vous souhaitez partager votre profil « Standard », sélectionnez le profil, ouvrez la boîte de dialogue Gérer le plan, puis Importer/Exporter et cliquez sur « Exporter le profil sélectionné ». Cela générera un script .jsl qui, une fois ouvert, définira JMP selon vos préférences "Standard". Ce fichier .jsl n'a pas besoin d'être installé pour fonctionner et peut être partagé avec toute personne utilisant JMP. Remarque : lors du partage des préférences d'un Mac vers Windows ou de Windows vers Mac, les préférences de police ne sont pas bien conservées. Par défaut, les préférences de police ne sont pas enregistrées, mais cette option peut être activée sous Gérer > Paramètres.
Utilisation de plusieurs profils
Il est souvent utile de conserver plusieurs profils. Par exemple, si vous exécutez parfois JMP devant une salle de classe et souhaitez des paramètres particuliers pour cette situation, des préférences différentes de vos paramètres d'analyse quotidiens. Ou peut-être que lors de l'exécution de certains types d'analyses, vous préférez une sortie détaillée, mais souhaitez revenir à vos préférences normales une fois ce travail terminé. C'est là que le stockage de plusieurs profils est utile.
Pour enregistrer un nouveau profil, apportez les modifications souhaitées à vos préférences JMP (Fichier > Préférences ou JMP > Préférences sur un Mac), puis ouvrez le gestionnaire de préférences et sélectionnez « Enregistrer les préférences actuelles ». Donnez un nouveau nom à ce profil et cliquez sur OK. Vous aurez désormais un autre profil et pourrez basculer entre les profils lorsque vous souhaitez appeler ces nouveaux paramètres. Pour activer un profil, sélectionnez simplement le profil dans le gestionnaire de préférences et cliquez sur « Appliquer le profil sélectionné ».
Options et fonctions supplémentaires
Si vous souhaitez partager plus d'un profil ou sauvegarder tous vos profils, vous pouvez ouvrir le dossier contenant tous vos profils en sélectionnant « Ouvrir le dossier des profils » sous Gérer > Importer/Exporter.Les profils sont stockés sous forme de fichiers .jsl et peuvent être partagés directement avec d'autres personnes, que ce complément soit installé ou non. Pour ajouter plusieurs profils au gestionnaire de préférences à la fois, copiez les profils enregistrés par ce complément dans ce dossier, puis cliquez sur « Réanalyser le dossier des préférences » pour remplir le gestionnaire de préférences avec les nouveaux profils. Pour importer un seul profil, vous pouvez également cliquer sur « Importer un fichier de profil ». sous Gérer > Importer/Exporter.
UtilitairesRe: Gestionnaire de préférences (avec import/export)Salut tout le monde,
J'ai téléchargé une nouvelle version de ce complément qui modifie la façon dont les fichiers de préférences sont écrits afin que le try() soit enroulé autour de chaque préférence individuelle ou ensemble de préférences pour une plate-forme. Lorsque cela est fait de cette façon, n'importe quelle préférence (ou ensemble de préférences) peut échouer et les préférences restantes sont toujours définies.
Cette mise à jour ne s'appliquera qu'aux profils nouvellement enregistrés, donc pour mettre à jour un ancien style de profil vers cette nouvelle méthode (ce qui devrait augmenter la compatibilité entre versions), appliquez votre profil existant (dans une version de JMP dans laquelle il fonctionne), puis utilisez le Commande Mettre à jour le profil sélectionné (qui déclenchera un écrasement de ce fichier avec le nouveau style).
Par ailleurs, si vous constatez qu'il vous manque vos profils lors du passage de 16 à 17, cela est probablement dû au changement entre ces versions dans l'endroit où les compléments sont stockés dans Windows (le dossier SAS dans le chemin est maintenant JMP), donc vous Vous devrez copier ces profils existants vers le nouvel emplacement une fois le complément installé dans 17+.
Sous Windows, en version 16 et versions antérieures, l'emplacement est :
C:\Users\[nom d'utilisateur]\AppData\Roaming\JMP\JMP\Addins\JMP.Preferences.Manager\usrPref
En 17+, l'emplacement est
C:\Users\[nom d'utilisateur]\AppData\Roaming\SAS\JMP\Addins\JMP.Preferences.Manager\usrPref
Re: Gestionnaire de préférences (avec import/export)Merci Julien. Je l'ai testé, malheureusement, il semble avoir le même vieux problème : le premier réglage et la sauvegarde fonctionnent, puis tout nouveau paramètre ne peut pas remplacer...
BTW, lors de l'installation, mes anciens fichiers de paramètres sont tous automatiquement supprimés et l'emplacement du complément est différent du vôtre (j'ai à la fois jmp 16 et 17, auparavant ils partageaient un dossier de complément)
