1
0
Fork
You've already forked Submin
0

TitledBorder.titleColor #3

Open
opened 2016年09月19日 12:48:17 +02:00 by Sciss · 0 comments
Sciss commented 2016年09月19日 12:48:17 +02:00 (Migrated from github.com)
Copy link

Provide a UIManager default for this key which is used by BorderFactory.createTitledBorder.

Provide a `UIManager` default for this key which is used by `BorderFactory.createTitledBorder`.
Sign in to join this conversation.
No Branch/Tag specified
main
work
v1.0.0
v0.3.6
v0.3.1
v0.2.0
v0.1.0
old
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
sciss/Submin#3
Reference in a new issue
sciss/Submin
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?