search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Document the "format" parameter of ExtensionManager#getOrAddExtension #443

Open ComFreek opened 5 years ago

ComFreek commented 5 years ago 
val presenter = ctrl.extman
            .getOrAddExtension(classOf[MMTSyntaxPresenter], "", List())
            .getOrElse(throw new AssertionError("Could not get MMTSyntaxPresenter extension."))

always throws the exception.

ComFreek commented 5 years ago

According to @tkw1536 the method getOrAddExtension is only meant for exporter extensions.