Search results

[Refactor][CodeMirror] Separate codemirror highlight to its own package

Dev

Status: Open.

#368 In kishtarn555/ReKarel;

· kishtarn555 opened on Feb 12, 2025

[Project][Feature] Add read-only projects

enhancementNew feature or requestNew feature or request

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#365 In kishtarn555/ReKarel;

· kishtarn555 opened on Feb 5, 2025

[Projects][Features] Track subtasks

enhancementNew feature or requestNew feature or request

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#347 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 18, 2025

[Projects][Feature] Show all available cases in the manage modal

enhancementNew feature or requestNew feature or request

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#346 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 18, 2025

[Projects][Feature] Add option to save world output

enhancementNew feature or requestNew feature or request

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#345 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 18, 2025

[Projects][Feature] Add option to save the current input

enhancementNew feature or requestNew feature or request

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#344 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 18, 2025

[Projects][Feature] Keep track of the current case open

enhancementNew feature or requestNew feature or request

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#342 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 18, 2025

[Projects][Docs] Add a basic explanation about projects in the docs

documentationImprovements or additions to documentationImprovements or additions to documentation

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#341 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 18, 2025

[Projects][Feature] Add toolbars that only are visible when a project is loaded

enhancementNew feature or requestNew feature or request

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#339 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 18, 2025

[Projects][Feature] Add feature to create and manage projects

enhancementNew feature or requestNew feature or request

ProjectsProjects for problemsettersProjects for problemsetters

Status: Open.

#337 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 18, 2025

[UX] Disable bottom toolbar if world is locked

enhancementNew feature or requestNew feature or request

Status: Open.

#324 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 15, 2025

[UX] On slow mode, show info of the current stackframe

Status: Open.

#323 In kishtarn555/ReKarel;

· kishtarn555 opened on Jan 14, 2025