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.

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

fix: change red button color to blue color. change property cards to selectbox in VectorFiler. #4284

Merged
merged 3 commits into from
Oct 18, 2024

Conversation

JinIgarashi
Copy link
Contributor

Thank you for submitting a pull request!

Description

fix: change red button color to blue color. change property cards to selectbox in VectorFiler.

Type of Pull Request

  • Adding a feature
  • Fixing a bug
  • Maintaining documents
  • Adding tests
  • Others ()

Verify the followings

  • Code is up-to-date with the develop branch
  • No build errors after pnpm build
  • No lint errors after pnpm lint
  • Run the tests with pnpm test and lint the project with pnpm lint and pnpm check
  • Make sure all the existing features working well

Changesets

  • If your PR makes a change under packages folder that should be noted in one or more packages' changelogs, generate a changeset by running pnpm changeset and following the prompts. Changesets that add features should be minor and those that fix bugs should be patch. Please prefix changeset messages with feat:, fix:, or chore:.

Refer to CONTRIBUTING.MD for more information.

Copy link

changeset-bot bot commented Oct 18, 2024

🦋 Changeset detected

Latest commit: 5169f2d

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package
Name Type
geohub Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@JinIgarashi JinIgarashi merged commit 4b0d355 into develop Oct 18, 2024
13 checks passed
@JinIgarashi JinIgarashi deleted the fix/vector-filter-ui branch October 18, 2024 13:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant