Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

SvelteKit: Add 'Tools' Menu item back to global navigation#64134

Merged
jasonhawkharris merged 5 commits intomainfrom
jhh/tools-tab
Jul 29, 2024
Merged

SvelteKit: Add 'Tools' Menu item back to global navigation#64134
jasonhawkharris merged 5 commits intomainfrom
jhh/tools-tab

Conversation

@jasonhawkharris
Copy link
Contributor

@jasonhawkharris jasonhawkharris commented Jul 29, 2024

This PR adds the Tools Menu Item back to the Global Navigation Bar of the svelte-kit web app, and removes the sub menus for both Code Search and Cody menu items.

Before:
Screenshot 2024-07-29 at 11 45 12 AM

After:
Screenshot 2024-07-29 at 11 44 37 AM

Test plan

Visual/manual testing
Passing CI

Changelog

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

non-blocking: I think we can just remove href from NavigationMenuDefinition entirely and just create button elements for the menu now. That probably also means removing the "on hover" behavior to match the react app.

Mind making a followup ticket for this? I think it's fine to merge this as-is since this is changing so fast.

@peterguy
Copy link
Contributor

When I click the Tools menu, page elements "flash" - it looks like it's interacting with the whole page, or causing a reload or something. Is that by design?

Screen.Recording.2024-07-29.at.10.12.36.mp4

@jasonhawkharris
Copy link
Contributor Author

@peterguy, yes that is intentional, at the moment. Is it okay to merge as is? I can make a follow up issue for this and fix it before the end of the week. I just don't want to get to granular on this while I'm trying to complete some other stuff.

@peterguy
Copy link
Contributor

Yep, merge it and followup! I saw @camdencheek 's comment about converting to buttons after I had posted my comment, or I wouldn't have posted.

@peterguy peterguy closed this Jul 29, 2024
@peterguy peterguy reopened this Jul 29, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants