a6100723ce
Fix emoji width in debug console. ( #14593 )
2025-12-05 20:58:54 +00:00
ca478d47ce
Support ink scrolling final pr ( #12567 )
2025-11-11 15:50:11 +00:00
5579a816f4
Scrollable support ( #12544 )
2025-11-05 00:21:00 +00:00
0e2ed6833f
Change debug drawer keybinding to F12 ( #12171 )
2025-10-28 19:10:40 +00:00
f2247a6393
feat(ui): Semantic tokens refactor ( #8087 )
2025-09-10 17:57:07 +00:00
a97a6cc71b
Explict imports & exports with type modifier ( #3774 )
2025-08-25 22:04:53 +00:00
305e39f5df
fix(console): fix debug icon rendering in "Debug Console" Box ( #6737 )
...
Co-authored-by: Ben Guo <hundunben@gmail.com >
Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com>
Co-authored-by: Jacob Richman <jacob314@gmail.com >
Co-authored-by: Arya Gummadi <aryagummadi@google.com >
2025-08-22 04:37:51 +00:00
afd7752b0f
Revert "Update semantic color tokens" ( #6365 )
2025-08-16 03:18:31 +00:00
d0d478b997
Update semantic color tokens ( #6253 )
...
Co-authored-by: jacob314 <jacob314@gmail.com >
2025-08-15 22:39:54 +00:00
4dec786c68
docs: fix typos in documentation ( #1411 )
...
Co-authored-by: Dan Tedesco <dted@google.com >
2025-06-25 03:53:03 +00:00
c4e7c9f675
Fix flicker issues by ensuring all actively changing content fits in the viewport ( #1217 )
2025-06-19 13:17:23 -07:00
3cdbeb879b
Allow themes to theme the UI ( #769 )
2025-06-05 14:35:47 -07:00
be59580326
Color enhancements ( #680 )
2025-06-02 11:20:58 -07:00
3fd511a7ee
Make console message support more robust to logging in the middle of rendering. ( #521 )
2025-05-23 22:51:47 -07:00
298953a719
Add additional readline-like keybindings. ( #524 )
...
Adds the following conventional readline-like keybindings:
- `Ctrl+H`: Delete the previous character.
- `Ctrl+D`: Delete the next character.
Additionally, remaps the Debug Console command from Ctrl+D to Ctrl+O, which had been first introduced in PR #486 .
2025-05-23 22:13:57 -07:00
7cd86cbd69
Refactor: Improve console error/log display in CLI ( #486 )
2025-05-22 10:36:44 -07:00
Jacob Richman