Bug #2883

Conflict with environment plugin

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

  • Assignee set to elacour

#2 Updated by elacour over 8 years ago

here is a patch to remove this obsolete code.

Also available in: Atom PDF