search

ideas-edu / logictools

Logic tools
https://www.bendevries.com/logictools/main
Apache License 2.0
1 stars 0 forks source link

meegeven prefix bij logax #407

Closed josjelodder closed 2 years ago

josjelodder commented 2 years ago

als je via toon stap een bewijs doorloopt, geeft de voorkant de prefix niet mee, waardoor niet de meest handige volgorde wordt gekozen

BenEdV commented 2 years ago

Hier staat wel dat de prefix meegegeven wordt bij LogAx.

Screen Shot 2022-07-19 at 22 58 04

Een ding die ik wel tegenkom is dat de prefix niet wordt aangepast bij een "undo"/"redo" van een stap. Is dit iets die we willen bijhouden of moeten we zoals bij de anderen de prefix op "[]" zetten als een undo wordt gedaan?

josjelodder commented 2 years ago

Dat gaat inderdaad nu wel goed, misschien zwierf er nog een oude versie in mijn cache, want de vorige keer dat ik het probeerde niet, groetjes Josje

Van: Ben de Vries @.> Verzonden: dinsdag 19 juli 2022 23:00 Aan: ideas-edu/logictools @.> CC: Lodder, Josje @.>; Author @.> Onderwerp: Re: [ideas-edu/logictools] meegeven prefix bij logax (Issue #407)

Hier staat wel dat de prefix meegegeven wordt bij LogAx. [Screen Shot 2022-07-19 at 22 58 04]https://user-images.githubusercontent.com/10991906/179847227-3258c785-e068-42bb-81ad-dba3081f652d.png

Een ding die wel tegenkom is dat de prefix niet wordt aangepast bij een "undo"/"redo" van een stap. Is dit iets die we willen bijhouden of moeten we zoals bij de anderen de prefix op "[]" zetten als een undo wordt gedaan?

— Reply to this email directly, view it on GitHubhttps://github.com/ideas-edu/logictools/issues/407#issuecomment-1189545091, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AD27JDIRUDGAHOHCV6KOIJLVU4JO3ANCNFSM5ZUXVCVQ. You are receiving this because you authored the thread.Message ID: @.**@.>>