Bug #2883

Conflict with environment plugin

Added by elacour over 10 years ago. Updated over 10 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 over 10 years ago

  • Assignee set to elacour

#2 Updated by elacour over 10 years ago

here is a patch to remove this obsolete code.

Also available in: Atom PDF