Bug #2883
Conflict with environment plugin
Status: | New | Start date: | 06/16/2011 | |
---|---|---|---|---|
Priority: | Normal | Due 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 9 years ago
- Assignee set to elacour
#2 Updated by elacour over 9 years ago
here is a patch to remove this obsolete code.