GitHub · Where software is built

Labels Milestones New issue

JSON output syntax highlighting

#804

· izmalk opened

on Nov 29, 2023

Strings are highlighted pink instead of yellow

domain: text-editor

#802

· james-whiteside opened

on Nov 28, 2023

Colon in <code>relation:role</code> incorrectly highlighted

domain: text-editor

#783

· james-whiteside opened

on Oct 5, 2023

isa edges not properly rendering

#766

· james-whiteside opened

on Jul 31, 2023

If text is selected, the "Run" button at the top should "Run Selection" - or maybe we just add a "Run Selection" button to the toolbar

#764

· alexjpwalker opened

on Jul 26, 2023

"Run File" / "Run Selection" both listed as having the same shortcut, which is confusing

domain: text-editor

#763

· alexjpwalker opened

on Jul 26, 2023

·

Add a notification panel for errors/warnings/infos

domain: error-experience

#744

· james-whiteside opened

on Jun 12, 2023

Studio crashes when viewing very large files

domain: text-editor

#743

· james-whiteside opened

on Jun 5, 2023

Studio crashes if viewing line in file that is too long

#742

· james-whiteside opened

on Jun 2, 2023

Implement a way to auto-detect session and transaction type

#739

· james-whiteside opened

on May 26, 2023

Problem with ZoomIn/ZoomOut (possibly some others) keyboard shorcuts with some layouts

#729

· SullivanDaly opened

on Apr 26, 2023

Studio icon looks too big on the dock

domain: desktop

#698

· james-whiteside opened

on Jan 18, 2023