List view

Support for reusable and complex verbalizations

conceptional

formalization-componentThe underlying formalizations in MMT surface syntaxThe underlying formalizations in MMT surface syntax

Status: Open.

#37 In UFrameIT/UFrameIT;

· ComFreek opened on Oct 27, 2020

Disambiguate labels between dynamic scroll info and marked points

formalization-componentThe underlying formalizations in MMT surface syntaxThe underlying formalizations in MMT surface syntax

game-engine-UXUX in the game engineUX in the game engine

needs-discussion

Status: Open.

#36 In UFrameIT/UFrameIT;

· ComFreek opened on Oct 26, 2020

Replace brittle pushout implementation by better one

blocked-upstream

enhancementNew feature or requestNew feature or request

server-component

Status: Open.

#33 In UFrameIT/UFrameIT;

· ComFreek opened on Oct 23, 2020

How to visualize scrolls in-game (SVG/MathML/...)?

enhancementNew feature or requestNew feature or request

game-engine-UXUX in the game engineUX in the game engine

needs-discussion

Status: Open.

#18 In UFrameIT/UFrameIT;

· ComFreek opened on Apr 7, 2020

How to deal with angles in clockwise direction

game-engine-UXUX in the game engineUX in the game engine

Status: Open.

#6 In UFrameIT/UFrameIT;

· SESch93 opened on Jan 7, 2020

Document list of all used MKM features (for demonstation purposes)

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#38 In UFrameIT/UFrameIT;

· ComFreek opened on Oct 27, 2020

Implement backwards view completion API

conceptional

server-component

Status: Open.

#39 In UFrameIT/UFrameIT;

· ComFreek opened on Oct 29, 2020

Increase server's performance

enhancementNew feature or requestNew feature or request

server-component

Status: Open.

#42 In UFrameIT/UFrameIT;

· ComFreek opened on Nov 5, 2020

Think about "highlight fact and its dependencies/induced completions"

conceptional

Status: Open.

#43 In UFrameIT/UFrameIT;

· ComFreek opened on Nov 20, 2020

Formalization of measured lengths vs. length being a constant value

formalization-componentThe underlying formalizations in MMT surface syntaxThe underlying formalizations in MMT surface syntax

needs-discussion

server-component

Status: Open.

#44 In UFrameIT/UFrameIT;

· ComFreek opened on Nov 20, 2020

Server: only selectively definition-expand things when sending facts to game engine

server-component

Status: Open.

#46 In UFrameIT/UFrameIT;

· ComFreek opened on Nov 28, 2020

Unity: show and visualize scroll outputs

game-engine-UXUX in the game engineUX in the game engine

Status: Open.

#45 In UFrameIT/UFrameIT;

· ComFreek opened on Nov 28, 2020

Use a different icon for measured right angles

game-engine-UXUX in the game engineUX in the game engine

minorIssues that can be quickly resolvedIssues that can be quickly resolved

Status: Open.

#49 In UFrameIT/UFrameIT;

· ComFreek opened on Jan 15, 2021

Better UX for filling scrolls

enhancementNew feature or requestNew feature or request

game-engine-UXUX in the game engineUX in the game engine

needs-discussion

Status: Open.

#8 In UFrameIT/UFrameIT;

· ComFreek opened on Feb 7, 2020