Bug 60681

Summary:	No way to set the editor preferences (katepart)
Product:	[Applications] kdevelop	Reporter:	Sylvain Joyeux <doudou>
Component:	general	Assignee:	KDevelop Developers <kdevelop-devel>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	NOR
Version:	git master
Target Milestone:	---
Platform:	Debian testing
OS:	Linux
Latest Commit:		Version Fixed In:

Description Sylvain Joyeux 2003-07-03 09:59:06 UTC

Version:           CVS of 02/07 (using KDE KDE 3.1.2)
Installed from:    Debian testing/unstable Packages
OS:          Linux

I use gideon with the Kate part and I can't see any way to set up the editor directly from gideon. I have to launch kate for that.

Comment 1 Amilcar do Carmo Lucas 2003-07-03 10:09:30 UTC

Settings -> Configure Editor...

Comment 2 Sylvain Joyeux 2003-07-03 13:53:21 UTC

I don't have it 
 
My problem is that I don't know how _exactly_ work the merging in the RC 
files. 
 
I have one in my home kde directory and one in the global directory. Shouldn't 
they merge ? The configure_editors action appears in the global but not in my 
own :(

Comment 3 Jens Dagerbo 2003-07-03 14:17:49 UTC

No, they don't merge, the one in your home dir overrides the global one (IIRC). 
Remove the one in your home dir and it should work again.

Comment 4 Sylvain Joyeux 2003-07-03 15:59:33 UTC

OK, I know it works, but this file has been copied because I changed some 
shortcuts. Isn't it a problem if, every time you add new menu entries I have 
to lose the shortcuts I defined ?

Comment 5 Jens Dagerbo 2003-07-03 19:04:07 UTC

>Isn't it a problem if, every time you add new menu entries I have to lose the shortcuts 
I defined ? 
 
Clearly. Which is why there is a mechanism to solve this. Which I didn't use. My bad. 
Fixing...

Comment 6 Jens Dagerbo 2003-07-03 19:06:19 UTC

Fixed in CVS.