Réglage global des préférences de Shuffleboard

Il existe un certain nombre de réglages qui contrôlent l’apparence et le comportement de Shuffleboard. On peut y accéder dans le menu « File », sous le panneau « Preferences ».

Réglage du thème

Shuffleboard supporte deux thèmes selon votre préférence : « Material Dark » et « Material Light ». Les feuilles de style en cascade, css ou Cascading Style Sheets, sont appliquées sur l’application entière et peuvent être modifiées à tout moment.

Réglage de la taille par défaut des vignettes

Shuffleboard positionne les vignettes sur une grille lorsqu’on les ajoute, les déplace, ou lorsqu’elles sont automatiquement générées. Vous pouvez choisir une taille par défaut pour chaque onglet, ou l’appliquer à tous les onglets nouvellement créés. Une résolution plus fine permet un placement plus précis des vignettes. Ceci est configurable dans la fenêtre des préférences ci-dessous.

Travailler avec les sauvegardes de la disposition des vignettes

Vous pouvez enregistrer votre mise en page en utilisant les options File / Save et File / Save as… du menu. La fenêtre des préférences comporte des options permettant d’appliquer automatiquement la mise en page précédente au démarrage de Shuffleboard. De plus, le Shuffleboard affichera une fenêtre « Save layout » pour vous rappeler d’enregistrer la mise en page à sa fermeture, si la mise en page a changé. Vous pouvez choisir de désactiver l’invite automatique à la fermeture, mais, dans ce cas, assurez-vous d’enregistrer la mise en page manuellement, afin de ne pas perdre vos modifications.

Configuration du numéro d’équipe

Pour permettre à Shuffleboard de se connecter au serveur des NetworkTables de votre robot, il est nécessaire de lui indiquer le bon numéro d’équipe à l’aide de l’onglet « NetworkTables » dans le panneau de préférences. Si votre Shuffleboard a été lancé par Driver Station, ce dernier remplira automatiquement cette information via le champ « Server ». Si vous roulez Shuffleboard sans Driver Station, vous pouvez entrer soit votre numéro d’équipe, soit l’adresse réseau du roboRIO.