Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Oe property work #1763

Merged
merged 3 commits into from
Oct 21, 2022
Merged

Oe property work #1763

merged 3 commits into from
Oct 21, 2022

Commits on Oct 21, 2022

  1. online_editor: Merge type info into value column of property editor 

    Merge the type information of the properties into the value column as a
tooltip.

Also add some tag into the output via CSS: This should be replaced with
proper icons!
    @hunger
    hunger committed Oct 21, 2022
    Configuration menu
    Copy the full SHA
    c626f90 View commit details
    Browse the repository at this point in the history

  2. online_editor: Navigate to property value

    @hunger
    hunger committed Oct 21, 2022
    Configuration menu
    Copy the full SHA
    4b71109 View commit details
    Browse the repository at this point in the history

  3. online editor: Support attribute grouping 

    The LSP now groups attributes. Support that in the online editor
    @hunger
    hunger committed Oct 21, 2022
    Configuration menu
    Copy the full SHA
    1dd7ce4 View commit details
    Browse the repository at this point in the history