Open Issues Need Help
View All on GitHubA collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
A collaborative environment for formal, interoperable, conceptual modeling
AI Summary: The CatColab editor's toolbar unexpectedly pops up when a rich text cell is the first cell in a notebook. The fix involves changing the initialization of the active cell from 0 to null in the frontend code to prevent this behavior upon loading.
A collaborative environment for formal, interoperable, conceptual modeling
AI Summary: Fix a broken link in the CatColab welcome overlay. The 'Example models' button currently points to an incorrect URL with a typo and uses the production domain instead of the staging domain. The correct URL should be `/help/guides/example-models` on the staging site (next.catcolab.org).
A collaborative environment for formal, interoperable, conceptual modeling
AI Summary: Remove the unnecessary `help?` boolean field from the `TheoryMeta` type in the CatColab frontend codebase. The field is redundant because help pages are always generated, even if a dedicated Markdown file is missing. This involves updating the TypeScript type definition and potentially removing any related logic that depends on this field.
A collaborative environment for formal, interoperable, conceptual modeling
AI Summary: Refactor the `TheoryHelpButton` component in the CatColab frontend to remove its dependency on the `Theory` prop, instead relying solely on the `TheoryMeta` prop. This involves creating a helper function `theoryFromMeta` to derive `Theory` from `TheoryMeta` if needed elsewhere. The goal is to simplify the component and improve its maintainability.
A collaborative environment for formal, interoperable, conceptual modeling
AI Summary: Add the standard toolbar navigation component to the existing 'Permissions Error' screen in the CatColab application to allow users to navigate away from the error message.
A collaborative environment for formal, interoperable, conceptual modeling
AI Summary: Add GitHub badges to the CatColab README.md file to link to the API documentation for both the Rust and TypeScript libraries. This involves finding appropriate badge generators, customizing them with the correct URLs, and integrating the generated Markdown into the README.
A collaborative environment for formal, interoperable, conceptual modeling