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

Bump pxt v9 #1030

Merged
merged 33 commits into from
Aug 30, 2023
Merged
Changes from 1 commit
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
fc95f40
dump-pxt-v9
THEb0nny Aug 5, 2023
634676f
Update style.less
THEb0nny Aug 5, 2023
cd16b27
common-modal-header
THEb0nny Aug 5, 2023
a5e3ce0
blocks-or-JS-editor-toggle
THEb0nny Aug 5, 2023
bf193b4
fix-brend-logo-and-project-logo-overlay
THEb0nny Aug 6, 2023
66e681b
fix-color-editordropdown
THEb0nny Aug 6, 2023
0bb8f25
Update loader.svg
THEb0nny Aug 7, 2023
bc5a116
Update loader.svg
THEb0nny Aug 8, 2023
373f8aa
Update pxtarget.json
THEb0nny Aug 13, 2023
9a6db25
Update pxtarget.json
THEb0nny Aug 13, 2023
c425eaf
blocklySearchArea-hide-on-mobile
THEb0nny Aug 13, 2023
97e7b7a
blocklySearchArea-expanding-horiz
THEb0nny Aug 13, 2023
e6655f3
Update footer.html
THEb0nny Aug 14, 2023
d0213a3
blocklyTreeIcon-fontawsome-fix
THEb0nny Aug 17, 2023
ba1b415
blocklyFlyoutLabel-fontawsome-fix
THEb0nny Aug 17, 2023
df93f1b
blocklyTreeIconfunctions-fontawsome
THEb0nny Aug 17, 2023
756689d
icons-update
THEb0nny Aug 17, 2023
81cd3c3
sizing-fonts-icons
THEb0nny Aug 17, 2023
e53165f
broadcast-extension-changes
THEb0nny Aug 18, 2023
679c5e2
storage-category-properties-moved
THEb0nny Aug 18, 2023
16848e5
storage-ext-update-color
THEb0nny Aug 19, 2023
f0b4170
storage-extension-fix
THEb0nny Aug 19, 2023
f232532
Update storage-core.ts
THEb0nny Aug 19, 2023
4c78f6f
Update storage-core.ts
THEb0nny Aug 19, 2023
1fdd770
csv-separator-support
THEb0nny Aug 19, 2023
60118ef
libs-pxt-update
THEb0nny Aug 21, 2023
2caa2fa
Revert "libs-pxt-update"
THEb0nny Aug 21, 2023
ab7b2f8
brodcast-pxt-update
THEb0nny Aug 21, 2023
931177d
bump-pxt-9.1.10
THEb0nny Aug 21, 2023
6809c13
icon-properties-update
THEb0nny Aug 21, 2023
b607b7b
removed-margin-to-the-category-btn
THEb0nny Aug 22, 2023
e375c58
Update blockly-toolbox.less
THEb0nny Aug 22, 2023
22b47ef
blocklySearchArea-margin-top-zero
THEb0nny Aug 22, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
blocklyTreeIconfunctions-fontawsome
  • Loading branch information
THEb0nny committed Aug 17, 2023
commit df93f1b232d9a75a2d640f935b58c77c3884041a
2 changes: 1 addition & 1 deletion theme/blockly-toolbox.less
Original file line number Diff line number Diff line change
Expand Up @@ -75,5 +75,5 @@ span.blocklyTreeLabel {
*******************************/

span.blocklyTreeIcon.blocklyTreeIconfunctions {
font-family: 'legoIcons' !important;
font-family: 'legoIcons', 'Icons' !important;
}