Re: [racket-users] Read-only "editor" text with min-width of its content

Hi Laurent! Indeed, this is the direction I'm going now. It seems to be working. Thanks! :) Laurent writes: > Maybe you can use snips% inside a single editor%? > Snips can be text or pictures or other things. > > > On Wed, Jan 10, 2018 at 9:58 PM, Christopher Lemmer Webber < > cweb...@dustyclou

Re: [racket-users] Read-only "editor" text with min-width of its content

Maybe you can use snips% inside a single editor%? Snips can be text or pictures or other things. On Wed, Jan 10, 2018 at 9:58 PM, Christopher Lemmer Webber < cweb...@dustycloud.org> wrote: > Christopher Lemmer Webber writes: > > > Matthew Flatt writes: > > > >> At Wed, 10 Jan 2018 10:29:28 -0600

Re: [racket-users] Read-only "editor" text with min-width of its content

Christopher Lemmer Webber writes: > Matthew Flatt writes: > >> At Wed, 10 Jan 2018 10:29:28 -0600, Christopher Lemmer Webber wrote: >>> I'm still not sure how to find out what the "total" height of the text >>> is in an editor. Does anyone know how to look that up? >> >> I think the `get-extent`

Re: [racket-users] Read-only "editor" text with min-width of its content

Matthew Flatt writes: > At Wed, 10 Jan 2018 10:29:28 -0600, Christopher Lemmer Webber wrote: >> I'm still not sure how to find out what the "total" height of the text >> is in an editor. Does anyone know how to look that up? > > I think the `get-extent` method will report the size you want. Than

Re: [racket-users] Read-only "editor" text with min-width of its content

At Wed, 10 Jan 2018 10:29:28 -0600, Christopher Lemmer Webber wrote: > I'm still not sure how to find out what the "total" height of the text > is in an editor. Does anyone know how to look that up? I think the `get-extent` method will report the size you want. -- You received this message beca

Re: [racket-users] Read-only "editor" text with min-width of its content

Laurent writes: > On Wed, Jan 10, 2018 at 6:20 AM, Christopher Lemmer Webber < > cweb...@dustycloud.org> wrote: > >> So now I've got some text that renders okay, it line wraps, etc etc. >> The problem is, I want to add a panel with a bunch of these, and I want >> each of these "rich text" things t

Re: [racket-users] Read-only "editor" text with min-width of its content

On Wed, Jan 10, 2018 at 6:20 AM, Christopher Lemmer Webber < cweb...@dustycloud.org> wrote: > So now I've got some text that renders okay, it line wraps, etc etc. > The problem is, I want to add a panel with a bunch of these, and I want > each of these "rich text" things to be exactly the height o