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

Open
#6,122 4 comments 0 reactions 0 assignees View on GitHub

Maintainers usually reply within 1 day

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
65/100
Issue type
Feature
Clarity
Mostly clear
Activity status
Active
Tech stack
java
Domain
design, desktop

Research direction

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.

Written by the indexing model from the issue text.

Description

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.

Dominant language
Java
Stars
927
Forks
286
Avg merge
3d 17h
Merged PRs (30d)
94

Getting set up

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from RPTools/maptool

All issues in RPTools/maptool

Similar issues

More Java issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.