4 Commits

Author	SHA1	Message	Date
paul	8e2de35c0a	ide: set default bookmark images to all preview editors in the editor options frames (#0012768) ... git-svn-id: trunk@17737 -	2008-12-09 02:22:56 +00:00
paul	98c05562f3	ide: move gutter color and right margin color to the syntax highlight page (it is more colors page), invent special handling for single color elements not related to highlighter ... git-svn-id: trunk@17630 -	2008-11-29 16:45:39 +00:00
paul	8ef24288f3	ide: merge colors/highlighting page into ide options ... git-svn-id: trunk@17197 -	2008-11-03 14:47:35 +00:00
paul	7a1d79446f	ide: start merge of editor options into ide options dialog ... git-svn-id: trunk@17164 -	2008-10-31 09:42:29 +00:00