-
-
- {stats.count_property !== 0 ?
-
: null}
- {stats.count_incalculable !== 0 ?
-
: null}
+
+
+
+ {stats.count_property !== 0 ? (
+
+ ) : null}
+ {stats.count_incalculable !== 0 ? (
+
+ ) : null}
-
+
-
-
-
+
+
+
-
+
- {stats.count_base !== 0 ?
-
: null}
- { stats.count_constant !== 0 ?
-
: null}
- {stats.count_structured !== 0 ?
-
: null}
- {stats.count_axiom !== 0 ?
-
: null}
- {stats.count_term !== 0 ?
-
: null}
- {stats.count_function !== 0 ?
-
: null}
- {stats.count_predicate !== 0 ?
-
: null}
- {stats.count_theorem !== 0 ?
-
: null}
-
);
+ {stats.count_base !== 0 ? (
+
+ ) : null}
+ {stats.count_constant !== 0 ? (
+
+ ) : null}
+ {stats.count_structured !== 0 ? (
+
+ ) : null}
+ {stats.count_axiom !== 0 ?
: null}
+ {stats.count_term !== 0 ?
: null}
+ {stats.count_function !== 0 ? (
+
+ ) : null}
+ {stats.count_predicate !== 0 ? (
+
+ ) : null}
+ {stats.count_theorem !== 0 ? (
+
+ ) : null}
+
+ );
}
-export default RSFormStats;
\ No newline at end of file
+export default RSFormStats;
diff --git a/rsconcept/frontend/src/pages/RSFormPage/EditorRSForm/RSFormToolbar.tsx b/rsconcept/frontend/src/pages/RSFormPage/EditorRSForm/RSFormToolbar.tsx
index 89354383..8ae1272c 100644
--- a/rsconcept/frontend/src/pages/RSFormPage/EditorRSForm/RSFormToolbar.tsx
+++ b/rsconcept/frontend/src/pages/RSFormPage/EditorRSForm/RSFormToolbar.tsx
@@ -11,70 +11,82 @@ import HelpButton from '@/components/Help/HelpButton';
import { HelpTopic } from '@/models/miscellaneous';
interface RSFormToolbarProps {
- isMutable: boolean
- isSubscribed: boolean
- modified: boolean
- claimable: boolean
- anonymous: boolean
- processing: boolean
+ isMutable: boolean;
+ isSubscribed: boolean;
+ modified: boolean;
+ claimable: boolean;
+ anonymous: boolean;
+ processing: boolean;
- onSubmit: () => void
- onShare: () => void
- onDownload: () => void
- onClaim: () => void
- onDestroy: () => void
- onToggleSubscribe: () => void
+ onSubmit: () => void;
+ onShare: () => void;
+ onDownload: () => void;
+ onClaim: () => void;
+ onDestroy: () => void;
+ onToggleSubscribe: () => void;
}
function RSFormToolbar({
- isMutable, modified, claimable, anonymous,
- isSubscribed, onToggleSubscribe, processing,
- onSubmit, onShare, onDownload,
- onClaim, onDestroy
+ isMutable,
+ modified,
+ claimable,
+ anonymous,
+ isSubscribed,
+ onToggleSubscribe,
+ processing,
+ onSubmit,
+ onShare,
+ onDownload,
+ onClaim,
+ onDestroy
}: RSFormToolbarProps) {
- const canSave = useMemo(() => (modified && isMutable), [modified, isMutable]);
- return (
-