| Summary: | tools settings: recognize and suggest popular tools | ||
|---|---|---|---|
| Product: | [Applications] kile | Reporter: | Maciej Pilichowski <bluedzins> |
| Component: | general | Assignee: | Michel Ludwig <michel.ludwig> |
| Status: | REPORTED --- | ||
| Severity: | wishlist | ||
| Priority: | NOR | ||
| Version First Reported In: | unspecified | ||
| Target Milestone: | --- | ||
| Platform: | unspecified | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
Description
Maciej Pilichowski
2008-03-18 10:06:07 UTC
kile-2.0-2.1 You can happily delete all uneeded tools. Therefore I think some automation is not needed. Well, sure I can do it happily, but I am not sure I will be happy after uninstall. The thing is tex world is quite complex to some guidance is very useful. |