unofficial mirror of help-gnu-emacs@gnu.org
 help / color / mirror / Atom feed
* can font-lock hide parts of text?
@ 2003-12-17 13:46 Miguel Frasson
  2003-12-17 23:22 ` Jesper Harder
  0 siblings, 1 reply; 2+ messages in thread
From: Miguel Frasson @ 2003-12-17 13:46 UTC (permalink / raw)



Hi.

I would like to sort of make invisible some text that matches a
regexp. Supose I have a chordpro line like

 [A]This is a [G]Song

I would like to be able to make an option that shows
  ^This is a ^Song
where ^ is some mark (in a different color) that there there is a chord.

Someone has a clue?

[]'s

Miguel

-- 
Miguel Vinicius Santini Frasson
http://www.math.leidenuniv.nl/~frasson

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: can font-lock hide parts of text?
  2003-12-17 13:46 can font-lock hide parts of text? Miguel Frasson
@ 2003-12-17 23:22 ` Jesper Harder
  0 siblings, 0 replies; 2+ messages in thread
From: Jesper Harder @ 2003-12-17 23:22 UTC (permalink / raw)


Miguel Frasson <frasson@enquist.math.leidenuniv.nl> writes:

> I would like to sort of make invisible some text that matches a
> regexp. Supose I have a chordpro line like
>
>  [A]This is a [G]Song
>
> I would like to be able to make an option that shows
>   ^This is a ^Song
> where ^ is some mark (in a different color) that there there is a chord.
>
> Someone has a clue?

You could probably do something similar to Oliver Scholz's lambda
prettifying code.  See <news:m3n0rory6t.fsf@ID-87814.user.dfncis.de>
in gnu.emacs.sources.

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2003-12-17 23:22 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2003-12-17 13:46 can font-lock hide parts of text? Miguel Frasson
2003-12-17 23:22 ` Jesper Harder

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).