Skip to content

Show the number of errors and warnings in the Problems tab's title #1004

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.

Sign up for GitHub

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

Merged
merged 19 commits into from
May 3, 2025
Merged

Show the number of errors and warnings in the Problems tab's title #1004

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
d21e5e6
Use Int.toString instead of Belt.Int.toString for ReScript v11+
mediremi May 1, 2025
573b863
Use more padding and set max default content width in React and Conso…
mediremi May 1, 2025
06bf524
Show error and problem counts in 'Problems' tab title
mediremi May 1, 2025
c5e8621
Only show syntax selection if there are at least 2 syntaxes to choose…
mediremi May 1, 2025
fd86598
Update TailwindCSS to v3.4.17 to get extended min-width, max-width, a…
mediremi May 1, 2025
92bb2ea
Set min-width on problem counts
mediremi May 1, 2025
7a4ce15
Only reset warning flags, not other config, when clicking warning fla…
mediremi May 1, 2025
ec20549
Add missing warning flag description
mediremi May 1, 2025
9760eda
Remove warning flags that no longer exist
mediremi May 1, 2025
8553e6b
Improve styles for warnings flags input
mediremi May 1, 2025
39527e5
Remove warnings 61 and 109 from default warn flags
mediremi May 1, 2025
6d80d6c
Refactor ToggleSelection component
mediremi May 1, 2025
cfaa584
Remove outdated TODOs
mediremi May 1, 2025
dad68a1
Remove unused OCaml variant in RescriptCompilerApi.Lang.t
mediremi May 1, 2025
2f7cd58
Remove unused RescriptCompilerApi.Compiler.ocamlCompile
mediremi May 1, 2025
5e74246
Remove warning flag descriptions for flags that no longer exist
mediremi May 1, 2025
2384d4c
Merge branch 'master' into playground-tweaks
mediremi May 1, 2025
7beeea0
Move problem counts to after 'Problems' tab title
mediremi May 2, 2025
0afa602
Restore warnings flags reset value to support older compilers
mediremi May 2, 2025
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
8 changes: 5 additions & 3 deletions src/ConsolePanel.res
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,9 +25,11 @@ let make = (~logs, ~appendLog) => {
<h2 className="font-bold text-gray-5/50 absolute right-2 top-2"> {React.string("Console")} </h2>
{switch logs {
| [] =>
React.string(
"Add some 'Console.log' to your code and click 'Run' or enable 'Auto-run' to see your logs here.",
)
<p className="p-4 max-w-prose">
{React.string(
"Add some 'Console.log' to your code and click 'Run' or enable 'Auto-run' to see your logs here.",
)}
</p>
| logs =>
let content =
logs
Expand Down
Loading