Bug 173762

Summary:	External Tools not configurable
Product:	[Applications] kate	Reporter:	Jean-Philippe Fleury <contact>
Component:	general	Assignee:	KWrite Developers <kwrite-bugs-null>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	NOR
Version:	unspecified
Target Milestone:	---
Platform:	Ubuntu
OS:	Linux
Latest Commit:		Version Fixed In:

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.