[Feature]: Make font size of object/token hover notes configurable

Aperta
#6,122 4 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
3/5
Tempo stimato
1-2 giorni
Idoneità per principianti
65/100
Tipo di issue
Funzionalità
Chiarezza
Abbastanza chiara
Stato di attività
Attiva
Stack tecnologico
java
Ambito
design, desktop

Direzione di ricerca

Start in src/main/java/net/rptools/maptool/client/swing/HTMLPanelRenderer.java and trace how PointerTool.java uses the renderer for object notes. Then find how preferences for tokens or themes are defined and applied. Done means users can adjust note font size independently of other UI fonts; the issue does not name a test, so identify relevant coverage while tracing the preference flow.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

feature
Describe the Problem

The font size of notes displayed when clicking objects on the Object Layer is currently fixed. There is no separate preference to adjust it.
Changing the global theme font size also affects menus, dialogs, and other UI elements, making this an unsuitable workaround.

The Solution you'd like

Add a separate font size preference for object/token hover notes, allowing users to adjust the size without changing other UI fonts.

Alternatives that you've considered.

No response

Additional Context

MapTool version: 1.18.7

The relevant code appears to be in:

src/main/java/net/rptools/maptool/client/swing/HTMLPanelRenderer.java

The default font size is defined as:

styleSheet.addRule("body { color: black; font-family: sans-serif; font-size: 11pt}");

The renderer is used by PointerTool.java to display object notes.

A configurable font size (e.g., under Preferences → Tokens or Theme) would improve readability and usability, particularly for object notes containing longer descriptions.

Lingua principale
Java
Stelle
927
Fork
286
Merge medio
3g 17h
PR unite (30g)
94

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di RPTools/maptool

Tutte le issue di RPTools/maptool

Issue simili

Altre issue su Java

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.