Bug 173762 - External Tools not configurable
Summary: External Tools not configurable
Status: RESOLVED FIXED
Alias: None
Product: kate
Classification: Applications
Component: general (show other bugs)
Version: unspecified
Platform: Ubuntu Linux
: NOR normal
Target Milestone: ---
Assignee: KWrite Developers
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-10-28 15:47 UTC by Jean-Philippe Fleury
Modified: 2008-10-28 16:03 UTC (History)
0 users

See Also:
Latest Commit:
Version Fixed In:

Attachments
Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
Description Jean-Philippe Fleury 2008-10-28 15:47:36 UTC 
Version:            (using KDE 4.1.2)
OS:                Linux
Installed from:    Ubuntu Packages

I've updated from Ubuntu 8.04 to Ubuntu 8.10 realise candidate. There's now no possibility to configure External Tools in Kate.

I've activated External tools in Settings → configure → Plugin Manager. I see External Tools in Tools menu, but there's no entry to configure it in Settings → configure, as it was the case in Ubuntu 8.04. So I just can't configure it.
Comment 1 Jean-Philippe Fleury 2008-10-28 15:49:06 UTC 
Bug previously reported in https://bugs.launchpad.net/ubuntu/+source/kdesdk/+bug/289626
Comment 2 Dominik Haumann 2008-10-28 15:55:40 UTC 
I have fixed that for KDE 4.2, you will have a config page again. Can you close upstream?
Comment 3 Jean-Philippe Fleury 2008-10-28 16:03:10 UTC 
Done.