Skip to content

Improve context section on content pages - #333

Merged
ScriptRaccoon merged 5 commits into
mainfrom
context-display
Aug 13, 2026
Merged

Improve context section on content pages#333
ScriptRaccoon merged 5 commits into
mainfrom
context-display

Conversation

@ScriptRaccoon

@ScriptRaccoon ScriptRaccoon commented Aug 13, 2026

Copy link
Copy Markdown
Owner

The context section on a content pages shows where this content page is used (via a link). This can be categories, functors, properties of categories, etc. This section has been improved in the following way:

  1. Code duplication has been removed.
  2. All structures, all properties of structures, and all implications are now supported. (Before, for example, properties of morphisms were missing.)
  3. The display of referenced implications has been improved. Now the implication is displayed in the same way as on the implication list page, before only its ID was shown.

Typical example where the changes can be seen: https://catdat.app/content/generator_construction

Also some other smaller issues have been fixed.

@ScriptRaccoon
ScriptRaccoon merged commit e5c4c9c into main Aug 13, 2026
1 check passed
@ScriptRaccoon
ScriptRaccoon deleted the context-display branch August 13, 2026 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant