在没有保存按钮的情况下，将网页视频下载到本地可以通过开发者工具（如Chrome的开发者工具）实现。以下是具体步骤：
1. 打开你想要下载的视频页面。
2. 按下F12键打开开发者工具。
3. 在控制台（Console）中输入以下命令：
javascript
var video = document.querySelector('video');
var url = video.src;
var a = document.createElement('a');
a.href = url;
a.download = '视频文件名.mp4'; // 替换为你想要的文件名
a.click();

这段代码会找到页面上的视频元素，然后创建一个链接，将其`href`属性设置为视频元素的`src`属性，并将`download`属性设置为你想要的文件名。最后，点击链接即可下载视频。
注意：这种方法可能不适用于所有网站，因为有些网站可能不允许通过这种方式下载视频。此外，这种方法可能会影响网站的用户体验，因此请谨慎使用。