Eclipse misses configuration of adjustPriority command line parameter #3687

Closed

Assignees

Labels

eclipse_pluginenhancement

Milestone

opened

on Sep 12, 2025

TextUICommandLine supports adjustPriority parameter, but there is no such setting in the prefs for Eclipse.

Metadata

Assignees

ttho

Labels

eclipse_pluginenhancement

Type

No type

Projects

No projects

Milestone

Spotbugs 4.9.8

Relationships

None yet

Development

No branches or pull requests