There have been multiple accounts created with the sole purpose of posting advertisement posts or replies containing unsolicited advertising.

Accounts which solely post advertisements, or persistently post them may be terminated.

linuxPIPEpower

@[email protected]

This profile is from a federated server and may be incomplete. Browse more on the original instance.

linuxPIPEpower ,

In the tint2 docs do a ctrl-f for ‘icon’ — does any of that look like it could be of any use to you? I am not sure I understand the issue but maybe this:

launcher_icon_theme = name_of_theme : (Optional) Uses the specified icon theme to display shortcut icons. Note that tint2 will detect and use the icon theme of your desktop if you have an XSETTINGS manager running (which you probably do), unless launcher_icon_theme_override = 1.

launcher_icon_theme_override = boolean (0 or 1) : Whether launcher_icon_theme overrides the value obtained from the XSETTINGS manager. (since 0.12)

If not try searching for ‘icon’ in the rest of the repo, issues etc.

linuxPIPEpower ,

what’s so special about workspaces in tiling wms compared to other options?

linuxPIPEpower OP ,

Thanks for taking the time! But it doesn’t properly reproduce the content.

As an example, here is the very bottom left corner from the wikipedia:

https://discuss.tchncs.de/pictrs/image/df983291-c731-450c-aa9d-0f18526de6bf.png

there is a merge row with content “5 TSMC N5”. Same height as merged row in next column, with content “Zen 4”.

But in the google sheet:

https://discuss.tchncs.de/pictrs/image/cc7de9d1-b44c-4460-b85c-7a5055c6a654.png

those row containing “5 TSMC N5” have all be un-merged into 14 separate rows. However for some reason “Zen 4” has been properly copied?

I would need 2+ very large displays to compare the two documents side by side but from what i can see on my 1 small display there are many such inconsistencies. My experience is that cleaning up the data is impossible.

linuxPIPEpower OP ,

Freezing the top row (when wanted by the user) would be an actual legitimate use of that annoying thing where websites have their navigation bar persistently at the top of the window.

linuxPIPEpower OP ,

It sucks because the info is all there! Someone has gone to the trouble to put it in and everything.

Like I said in the top post I honestly don’t understand how these large tables even get updated… How do the authors know what they are even editing?? There has to be a trick.

linuxPIPEpower OP ,

Could be using CSS https://developer.mozilla.org/en-US/docs/Web/CSS/position#fixed_positioning. But idk there could be other more sophisticated ways to accomplish the same thing.

In terms of why to not use it, I can think of reasons to avoid it by default. Like it could be very annoying on some devices in some situations. If the page authors made the table headings really long, it could obscure the content. I know I have been annoyed by this sort of thing when websites use position: fixed for their navigation or other elements. When I’ve snooped around the backend of wikipedia I see that they are contending with a wide variety of contributors and users and whatever they do needs to accommodate everyone.

What I find surprising is that there is (apparently) no 3rd party browser extension, userstyle or userscript that allows enabling this.

linuxPIPEpower OP ,

must be

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • random
  • lifeLocal
  • goranko
  • All magazines
    •