Diffusion Isabelle de37910974da

avoid hard-wired stuff: configure via plugin services;
de37910974da
Actions

Tags

None

Subscribers

None

Description

avoid hard-wired stuff: configure via plugin services;

Details

Provenance

Authored on

Parents

rISABELLE1dd97156db80: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEde37910974da: avoid hard-wired stuff: configure via plugin services;.Apr 9 2020, 9:58 PM

Changes (3)

Path

Size

src/

Tools/

jEdit/

src/

graphview_dockable.scala

rISABELLEde37910974da

src/Tools/jEdit/src/active.scala

Loading...

src/Tools/jEdit/src/graphview_dockable.scala

Loading...

src/Tools/jEdit/src/services.xml

Loading...