Skip to content

IDE Style Updates (clean)#14

Open
MartinNang wants to merge 152 commits into
pytchlang:developfrom
MartinNang:IDE_style_updates_clean
Open

IDE Style Updates (clean)#14
MartinNang wants to merge 152 commits into
pytchlang:developfrom
MartinNang:IDE_style_updates_clean

Conversation

@MartinNang
Copy link
Copy Markdown
Contributor

attempted to clean up git history

MartinNang and others added 30 commits December 11, 2025 12:26
…n pytch-website; enable mobile navbar under 1024px width
…navbar in pytch-website; enable mobile navbar under 1024px width
Fixes "v4 zipfile uppercase asset filename" test.
It no longer contains just the trailing underscore.
It wasn't quite wide enough to hold the icons, so the border was
getting covered up.
No need to pass tutorialSlug around.
Still get the warning about TypeScript 5.9.3 being unsupported, but it
seems benign.
@MartinNang MartinNang changed the title IDE style updates (clean) IDE Style Updates (clean) Jan 9, 2026
@MartinNang MartinNang marked this pull request as ready for review January 9, 2026 13:59
squash! squash! updated IDE stylings

# Conflicts:
#	src/components/CaptiveContextMenu.tsx
#	src/components/Junior/ActivityContent.tsx
#	src/components/ProjectList.tsx
#	src/components/demo-sidebar/DemoHeader.tsx
#	src/demo-sidebar.scss
#	src/font-awesome-lib.ts
#	src/pytch-ide.scss
#	src/pytch-jr-ide.scss
#	src/pytch.scss
…opdown styles; added SCSS variables for stage colours; vertically centered loading spinner for sidebar panels
squash! squash! moved activity label into button
@MartinNang MartinNang force-pushed the IDE_style_updates_clean branch from bfd4b37 to 5462893 Compare May 12, 2026 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants