diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2023-09-10 14:38:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-10 12:38:56 +0000 |
| commit | a9d37cb85ac2c55fc630fccffe1ba60ff00f555b (patch) | |
| tree | e072f86743d0ee71f908135cb63484f84c8370f4 /third_party/webrender/debugger/src/components/ClipScrollTreeViewPage.vue | |
| parent | c079acb3c31e695e9f16b96b9bd61b2a1c182796 (diff) | |
| download | servo-a9d37cb85ac2c55fc630fccffe1ba60ff00f555b.tar.gz servo-a9d37cb85ac2c55fc630fccffe1ba60ff00f555b.zip | |
Upgrade WebRender to e491e1ae637b2eed1e7195855d88357e5eb3ddf9 (#30323)
* Upgrade vendored version of WebRender
* Patch WebRender: upgrade version of gleam
* Restore hit testing implementation
* Fix WebRender warnings
* Adapt Servo to new WebRender
* Update results
* Add a workaround for #30313
This slightly expands text boundaries in order to take into account the
fact that layout isn't measuring glyph boundaries.
Diffstat (limited to 'third_party/webrender/debugger/src/components/ClipScrollTreeViewPage.vue')
| -rw-r--r-- | third_party/webrender/debugger/src/components/ClipScrollTreeViewPage.vue | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/third_party/webrender/debugger/src/components/ClipScrollTreeViewPage.vue b/third_party/webrender/debugger/src/components/ClipScrollTreeViewPage.vue deleted file mode 100644 index 66a1edaf304..00000000000 --- a/third_party/webrender/debugger/src/components/ClipScrollTreeViewPage.vue +++ /dev/null @@ -1,37 +0,0 @@ -<template> - <div class="box"> - <h1 class="title">Clip-Scroll Tree <a :disabled="disabled" v-on:click="fetch" class="button is-info">Refresh</a></h1> - <hr/> - <div> - <ul> - <app-treeview :model=clip_scroll_tree></app-treeview> - </ul> - </div> - </div> -</template> - -<script> -import TreeView from './TreeView.vue' - -export default { - components: { - 'app-treeview': TreeView, - }, - methods: { - fetch: function() { - this.$store.dispatch('sendMessage', "fetch_clip_scroll_tree"); - } - }, - computed: { - disabled() { - return !this.$store.state.connected - }, - clip_scroll_tree() { - return this.$store.state.clip_scroll_tree - } - }, -} -</script> - -<style> -</style> |