Skip to content

[analyzer] add a fix for use_colored_box #51357

New issue
New issue
Closed
Closed
[analyzer] add a fix for use_colored_box#51357
Labels
P4devexp-quick-fixIssues with analysis server (quick) fixesdevexp-serverIssues related to some aspect of the analysis serverlegacy-area-analyzerUse area-devexp instead.type-enhancementA request for a change that isn't a bug
@asashour

Description

@asashour
asashour
opened on Feb 10, 2023

Similar to the fix for use_decorated_box.

Metadata

Metadata

Assignees

No one assigned

    Labels

    P4devexp-quick-fixIssues with analysis server (quick) fixesdevexp-serverIssues related to some aspect of the analysis serverlegacy-area-analyzerUse area-devexp instead.type-enhancementA request for a change that isn't a bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions