Bug #2883

Conflict with environment plugin

Added by elacour about 9 years ago. Updated about 9 years ago.

Status:NewStart date:06/16/2011
Priority:NormalDue date:
Assignee:elacour% Done:

0%

Category:-
Target version:-

Description

Tlflines plugin partially handle the fact that environment plugin is installed or not, but if this last one is installed, then this plugin no longer appears in Plugins menu and do not appear in environment menu.

So either remove obsolete environment handling code or fully environment integration should be done ;)

History

#1 Updated by elsendero about 9 years ago

  • Assignee set to elacour

#2 Updated by elacour about 9 years ago

here is a patch to remove this obsolete code.

Also available in: Atom PDF