Search results

use OAuth instead of prompting for GitHub password

Status: Open.

#102 In ohmjs/ohm-editor;

· keturn opened on Dec 3, 2024

Use a monospaced font for the grammar editor

Status: Open.

#100 In ohmjs/ohm-editor;

· FeldrinH opened on Jul 5, 2023

Parse Failure Giving No Reason

Status: Open.

#99 In ohmjs/ohm-editor;

· guitarvydas opened on Jul 2, 2023

MIssing Horizontal Scroll Bar

Status: Open.

#98 In ohmjs/ohm-editor;

· guitarvydas opened on Jul 2, 2023

Examples panel is not scrollable

Status: Open.

#92 In ohmjs/ohm-editor;

· rtoal opened on Apr 1, 2023

Editor should support export and import

Status: Open.

#74 In ohmjs/ohm-editor;

· wenerme opened on Aug 20, 2022

Error when using super-splice operator (<code>...</code>)

Status: Open.

#65 In ohmjs/ohm-editor;

· pdubroy opened on Dec 4, 2021

Expand emoji support in "Explain Parse" preview

Status: Open.

#52 In ohmjs/ohm-editor;

· s-gbz opened on Sep 30, 2021

WIP: Recent bugs I found

Status: Open.

#46 In ohmjs/ohm-editor;

· pdubroy opened on Jan 12, 2021

Conflicting state of the UI in the editor

Status: Open.

#54 In ohmjs/ohm-editor;

· mlajtos opened on Apr 26, 2018

Saved examples disappear on refresh

Status: Open.

#35 In ohmjs/ohm-editor;

· sakekasi opened on Sep 30, 2017

Text disappears when expanding a node in a failed parse

Status: Open.

#34 In ohmjs/ohm-editor;

· sakekasi opened on Sep 30, 2017