Skip to content

Create User Preferences API and UI #297

Open
Open
Create User Preferences API and UI#297
Labels
user preferencesAllow user to set a remembered value across domains

Description

@shepazu
shepazu
opened on Feb 15, 2021
  • Allow users to select UI preferences
    • e.g. color of highlight selection
  • Honor browser-set preferences
    • prefers-contrast
  • Enable user stylesheets (#497)

See Maps4HTML/HTML-Map-Element-UseCases-Requirements#43

Activity

  1. prushforth commented on Feb 16, 2021

    @prushforth
    prushforth
    on Feb 16, 2021
    Member

    Should this also actually be a Use Case / Requirement, apart and aside from the linked issue?

  2. prushforth commented on Jul 23, 2021

    @prushforth
    prushforth
    on Jul 23, 2021
    Member

    See also: #494

  3. Malvoz
    added
    user preferencesAllow user to set a remembered value across domains
    on Jul 30, 2021
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

    user preferencesAllow user to set a remembered value across domains

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions