Search results

Eliminate Windows support

Status: Open.

#61 In ocamleditor/ocamleditor;

· ftovagliari opened on May 6, 2024

hints (Ctrl+space) stopped working

Status: Open.

#60 In ocamleditor/ocamleditor;

· ildar opened on May 4, 2024

respect Base (Jane streen)

Status: Open.

#59 In ocamleditor/ocamleditor;

· ildar opened on May 4, 2024

build on platforms where ocamlopt not available

Status: Open.

#52 In ocamleditor/ocamleditor;

· ildar opened on Dec 16, 2023

[FR] GTK+3 / Wayland

Status: Open.

#51 In ocamleditor/ocamleditor;

· ildar opened on Nov 22, 2023

plugins should go to the $prefix/lib64

Status: Open.

#25 In ocamleditor/ocamleditor;

· ildar opened on Jun 3, 2023