real-time-extension VS ExplorerPatcher

> a browser extension.

Already exists, but feel free to upgrade or make your own:

https://github.com/reveddit/real-time-extension

I'm with you on content urls being the proper way to key off of content. did that for the rAger extension, which is open source, as well as intercepting requests. I'm okay with abandoning that extension, but it sure would be helpful to have more people involved in maintaining the real-time extension, which is also open source. Give me a shout if you're interested.

If anyone more experienced wants to give it a shot, the source code for the changes I made for Safari are here.

My guess is they'll approve it on Monday. If you really want it now you can install from source.

Thanks for your report. I've seen it reported here, though I'm unable to replicate.

The code is open source.

Yeah. I'd do it myself as a standalone app if I knew how. The extension code already exists, it just needs to be modified to work with a javascript-based mobile framework.

So, I think there should be an optional feature(or maybe plugin?) allowing the deleted comments/posts to be fetched from Reveddit/Removeddit. It appears thst Reveddit might have an API , so it shouldn't be too hard to implement, although disclaimer - I am not an developer, so I could be very wrong.

The code that makes the extension is available here in case anyone wants to add to or review it. It uses Chrome's manifest v3 which is a much more restrictive set of extension rules meant to deal with abusive extensions. Eventually, Chrome will force all extensions to use that, and Firefox may follow suit too. Unfortunately v3 breaks a lot of cool extensions but that's another conversation.

You can use https://github.com/valinet/ExplorerPatcher to change the hotkey

> Windows 11 brings absolutely nothing on the table

It also removes a leg from the table, the one labelled 'usability'.

Attaching a 3rd-party leg to fill the gap helps (https://github.com/valinet/ExplorerPatcher), but it's not an ideal solution

ExplorerPatcher

I had more problems with it being wide, merging all app windows in a single icon, showing only icon rather then app title, and not being able to move to top of screen

That may be fixed with https://github.com/valinet/ExplorerPatcher which restores win10 bar, there's no builtin solution to any of the above afaik

Thanks for letting me know. I looked into it, and apparently it's still even possible to activate on later versions of Windows with registry edits and helper software: https://github.com/valinet/ExplorerPatcher/discussions/167

Not going to install something that seems so vague, but I do use ExplorerPatcher [1] on my Windows 11 machines to basically re-create Windows 10 UI and fix all of the annoyances I have with Windows 11. I've got the old right click menu, the old task bar, the old alt-tab interface, pretty much the whole thing. Only reason I use Windows 11 over Windows 10 is because Windows 11 seems to handle my triple monitor setup better, especially when waking up from sleep.

[1] - https://github.com/valinet/ExplorerPatcher