Re: Mallard plugin for gedit?

[Mario Blättermann <mariobl freenet de>]

Am 13.06.2011 00:18, schrieb Germán Póo-Caamaño:
> On Sun, 2011-06-12 at 23:11 +0200, Mario Blättermann wrote:
>> Hi all,
>>
>> I'm still missing a convenient way to write Mallard based XML files.
>> Good old Conglomerate cannot handle Mallard, and it rests in peace
>> anyway for a long time.
>>
>> But there is the so-called "tag list" plugin for gedit. It provides a
>> simple way to paste some kind of tags in text files. Currently HTML,
>> XHTML, XUL and some other formats are supported. The plugin is part of
>> the gedit-plugins package. Having a first look at it, I've seen that the
>> list is parsed from XML definitions like this:
>>
>>
>> <?xml version="1.0" encoding="UTF-8"?>
>> <TagList xmlns="http://gedit.sourceforge.net/some-location";>
>> <TagGroup _name="Latex — Tags" sort="true">
>>   <Tag _name="Bibliography (cite)">
>>     <Begin>\cite{ </Begin>
>>     <End> } </End>
>>   </Tag>
>>
>>   <Tag _name="Bibliography (item)">
>>     <Begin>\bibitem{ </Begin>
>>     <End> }{} &#10;</End>
>>   </Tag>
>>
>> ...
>>
>> (Example from the file for LaTeX)
>>
>>
>> Would it be an advantage to have such a plugin? If yes, I would write it
>> and send it to the gedit-plugin maintainers. Or knows anybody a better way?
> 
> There is a plugin for snippets, which provides auto-completion.  I think
> there is room for improvement, but it is better to improve what we have
> rather to start something from scratch.
> 
> So, you can take mallard.xml from
> https://gitorious.org/~gpoo/mallard-gedit-snippets/mallard-gedit-snippets-gpoo and leave it under .../gedit/snippets[1].  Once you enable snippets plugin, you can set the page as Mallard and you can auto-complete.
> 
Hm, seems to don't work for me. I'm using gedit 3.0.2, and this version
comes already with a snippets file in
/usr/share/gedit/plugins/snippets/mallard.xml. How can I activate it?
Nothing found in the docs yet :(
The snippets manager shows an entry for Mallard, but with no content.

Cheers,
Mario