51–60 of 143 posts
Earlier quoted context omitted.
On latest Android, long-pressing home activates the Google Assistant overlay, which allows you to select any text on screen (and translate and search region).
Yeah, but it still only uses OCR, right?
Am I the only one that has a problem with all non dom/html renderers that I can't copy the text on mobile? The same with flutter etc, it's such a regression in my eyes but nobody prioritizes it.
C-c, C-v works for me here. egui is an immediate mode GUI library written in Rust. egui runs both on the web and natively on . On the web it is compiled to WebAssembly and rendered with WebGL. Everything you see is rendered as textured triangles. There is no DOM, HTML, JS or CSS. Just Rust. egui is designed to be easy to use, portable, and fast.
Earlier quoted context omitted.
You generally can't copy text in native UIs unless the app author goes to extra effort to allow it. It's really the web that is the odd one out here because it was originally intended for documents.
It also means worse accessibility, less introspection, automation, worse/impossible adblocking, etc.
Obviously that's not a downside from a software developer perspective.
Earlier quoted context omitted.
You generally can't copy text in native UIs unless the app author goes to extra effort to allow it. It's really the web that is the odd one out here because it was originally intended for documents.
It also means worse accessibility, less introspection, automation, worse/impossible adblocking, etc.
I recently created a touch interface using a websocket/browser based stack and one of the problem was that users kept selecting the text on buttons because they expected some action while holding the button.
Earlier quoted context omitted.
It also means worse accessibility, less introspection, automation, worse/impossible adblocking, etc.
> worse/impossible adblocking Obviously that's not a downside from a software developer perspective.
Someone's been naughty for Christmas, forcing option unwrapping instead of pattern matching.
On the mobile version of Brave.
I was unable to find a global font-size option, isn't there any? I can modify the fonts individually, but that's not what I want. I also wish for a global contrast option (preferably where the day/night toggle is). The default night theme is too low contrast for me right now, coming from a brightness that is perfect for HN.
Maybe you want to scale all the UI elements? This has the same zooming effect as pressing Ctrl-+. Otherwise why not loop and set all the font sizes you want?
https://docs.rs/egui/latest/egui/style/struct.Visuals.html
I don't recall there being a high contrast option or slider, so your best bet might be trying to modify the values in this struct, or if that's not enough, then the values in the `widgets` field of it. You can customize every color in the UI.
(This is well known by the egui authors, which is a great library!)