Skip to content

Add a way to copy the DTD uri #5013

Closed
Closed

Description

@kenzieschmoll

Activity

  1. added this to the v3.84.0 milestone on Feb 27, 2024
  2. added
    is enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.
    on Feb 27, 2024
  3. DanTup commented on Feb 28, 2024

    @DanTup
    Member

    This is now available from the command palette and the language status area:

    Screenshot 2024-02-28 114847

    Screenshot 2024-02-28 114857

  4. DanTup commented on Feb 28, 2024

    @DanTup
    Member

    This was included in a pre-release today (v3.83.20240228)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    is enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions