File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11import { uiTokens } from "../../../shared/styles/tokens" ;
22
33export const explorerStyles = {
4- root : "w-60 shrink-0 h-full overflow-y-auto border-l border-white/10 bg-[#1e1e1e]/90 backdrop-blur-2xl backdrop-saturate-150 p-2" ,
4+ root : "w-60 shrink-0 h-full overflow-y-auto border-l border-white/10 bg-[#1e1e1e]/90 backdrop-blur-2xl backdrop-saturate-150 p-2 pb-16 " ,
55 header : "px-2 pb-1 text-[0.65rem] uppercase tracking-wider text-white/40" ,
66 list : "space-y-1" ,
77 languageButton : ( active : boolean ) =>
Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ const EMPTY_ENGINE_SUMMARY: EngineSummary = {
1010 typed_length : 0 ,
1111 correct : 0 ,
1212 incorrect : 0 ,
13- keystrokes : 0 , // Added missing property
13+ keystrokes : 0 ,
1414 accuracy : 0 ,
1515 completion : 0 ,
1616 feedback : [ ] ,
You can’t perform that action at this time.
0 commit comments