Re: [gedit-list] how to edit the tag list plugin html.tags file
- From: Paolo Borelli <pborelli katamail com>
- To: nick humphrey <nick c humphrey gmail com>
- Cc: gedit-list gnome org
- Subject: Re: [gedit-list] how to edit the tag list plugin html.tags file
- Date: Wed, 18 Apr 2007 16:52:27 +0200
Il giorno mer, 18/04/2007 alle 12.32 +0200, nick humphrey ha scritto:
> i'm using gedit 2.18.1 on ubuntu linux feisty fawn. i want to
> personalize/improve the xhtml tag list.
That's great. Feel free to send a patch with your improvements.
> when i unpack the HTML.tags.gz
> file (/usr/share/gedit-2/taglist/HTML.tags.gz) and edit HTML.tags, zip
> it back up as a gz and then replace the original gz file i see no
> changes in the list (even after restarting gedit). how do i edit the
> tag list?
>
What you describe should work just fine as far as I know. Are you sure
you actually restarted gedit? Maybe you still had some other window open
in another workspace and didn't notice...
Other than that you could try to run from a terminal "strace gedit |
grep HTML 2>&1" and see if your file is the one that actually gets
loaded.
Paolo
> thanks in advance,
>
> Nick
> _______________________________________________
> gedit-list mailing list
> gedit-list gnome org
> http://mail.gnome.org/mailman/listinfo/gedit-list
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]