B: Fix font loading and small issues

This commit is contained in:
Ivan 2025-03-19 16:07:46 +03:00
parent f21295061d
commit 9f64282385
5 changed files with 4 additions and 4 deletions

View File

@ -17,7 +17,7 @@
<link
rel="preload"
as="style"
href="https://fonts.googleapis.com/css2?family=Rubik:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,300;1,400;1,500;1,600;1,700;1,800;1,900&family=Fira+Code:wght@300..700&family=Noto+Sans+Math&family=Noto+Sans+Symbols+2&family=Alegreya+Sans+SC:wght@100;300;400;500;700;800;900&family=Noto+Color+Emoji&display=block"
href="https://fonts.googleapis.com/css2?family=Rubik:ital,wght@0,400;0,500;0,600;1,400;1,600&family=Fira+Code:wght@400;500;600&family=Noto+Sans+Math&family=Noto+Sans+Symbols+2&family=Alegreya+Sans+SC:wght@400;700&family=Noto+Color+Emoji&display=swap"
onload="this.onload=null;this.rel='stylesheet'"
/>

View File

@ -33,7 +33,7 @@ export function TableBody<TData>({
const handleRowClicked = useCallback(
(target: Row<TData>, event: React.MouseEvent<Element>) => {
onRowClicked?.(target.original, event);
if (target.getCanSelect()) {
if (table.options.enableRowSelection && target.getCanSelect()) {
if (event.shiftKey && !!lastSelected && lastSelected !== target.id) {
const { rows, rowsById } = table.getRowModel();
const lastIndex = rowsById[lastSelected].index;

View File

@ -285,7 +285,6 @@ export function describeExpressionStatus(status: ExpressionStatus): string {
* Retrieves label for {@link CstType}.
*/
export function labelCstType(target: CstType): string {
console.log(1);
// prettier-ignore
switch (target) {
case CstType.BASE: return 'Базисное множество';

View File

@ -76,6 +76,7 @@
.react-flow__attribution {
font-size: var(--font-size-sm);
font-family: var(--font-ui);
font-weight: 400;
margin: 1rem;
background-color: transparent;

View File

@ -8,7 +8,7 @@
@utility font-controls {
font-family: var(--font-ui);
font-weight: 600;
font-weight: 700;
}
@utility font-math {