- From: Masayuki Nakano <notifications@github.com>
- Date: Wed, 10 Aug 2022 01:06:52 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 10 August 2022 08:07:04 UTC
@johanneswilm
> > > The question is whether this is something that is actually needed for anything.
> >
> >
> > Yes, it is.
>
> What is it useful for? I've tagged people from two of the main editor projects. Hopefully one of them can shed light on what, if anything, they need to use it for.
Oops, sorry, I misread your comment. My answer is "no". These things may happen if web apps use tricky approach which shouldn't be used.
> But how does the user get to change the contents of the head?
```
head {
display: block;
}
style {
display: block;
white-space: pre;
}
```
For example to make `<style>` in `<head>` visible.
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/issues/405#issuecomment-1210312392
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/editing/issues/405/1210312392@github.com>
Received on Wednesday, 10 August 2022 08:07:04 UTC