Bug #2883

Conflict with environment plugin

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

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


Target version:-


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 ;)


#1 Updated by elsendero about 11 years ago

  • Assignee set to elacour

#2 Updated by elacour about 11 years ago

here is a patch to remove this obsolete code.

Also available in: Atom PDF