Skip to content
View idogrf's full-sized avatar

Block or report idogrf

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. gantry gantry Public

    A terminal for juggling Claude Code sessions: status on every pane, alerts when one needs you, and layouts and sessions that survive closing the window.

    Rust 3 3

  2. better-gnome-notifications better-gnome-notifications Public

    GNOME Shell 50 extension that turns notification banners into a stack of narrow, frosted cards tinted with each app's color, with per-app rules, rate limiting, and a notification list styled to match.

    JavaScript

  3. workspace-ticker workspace-ticker Public

    GNOME Shell 50 extension that shows a sliding strip of workspace names whenever you switch workspaces. The current name is centred, neighbours peek in from the sides, with position dots, optional b…

    JavaScript

  4. better-media-controller better-media-controller Public

    GNOME Shell extension that shows what's playing in the top panel: a pill with an animated wave, a looping title, and prev/play/next buttons. Click it for a slim popup with cover art, controls and p…

    JavaScript 1

  5. better-workspace-thumbnails better-workspace-thumbnails Public

    GNOME Shell 50 extension that improves the Activities overview's workspace thumbnails: adjustable size, each workspace's name under its thumbnail, and drag-to-reorder by a grip on the top edge.

    JavaScript