GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — No scrollbar when too many userscript commands · Issue #3177 · greasemonkey/greasemonkey

No scrollbar when too many userscript commands #3177

New issue
Copy link
New issue
Copy link
Closed
Closed
No scrollbar when too many userscript commands#3177
Copy link
Milestone
4.12

Description

@iampradip
iampradip
opened on Nov 12, 2023
Issue body actions

When userscript commands page is full with 20+ userscript menu commands, rest of them get hidden and there is no scrollbar to find them.

Activity

  1. arantius
    added a commit that references this issue on Nov 14, 2023

    Add a test script with many registered commands.

    e90b807
  2. arantius commented on Nov 14, 2023

    @arantius
    arantius
    on Nov 14, 2023
    Collaborator
    More actions

    Test script confirms: https://github.com/greasemonkey/greasemonkey/blob/master/test/scripts/many-menu-commands.user.js

    "Good" news: the Android related changes made recently already improves this. Bad news: this breaks (well, negatively affects) some of those changes.

  3. arantius
    added this to the 4.12 milestone on Nov 14, 2023
  4. arantius
    closed this as completedin a7617beon Nov 16, 2023
  5. arantius commented on Nov 29, 2023

    @arantius
    arantius
    on Nov 29, 2023
    Collaborator
    More actions

    This should be done. I could use your help testing this! Checkout or download Greasemonkey's source code, then follow the documentation for installing an extension during development. As far as I know this will break installed scripts, so you should use about:profiles to create and launch a new blank Firefox profile to do so, rather than overwriting your existing Greasemonkey install. (Maybe take a Greasemonkey backup first to be safe.)

    Any testing results, positive or negative, would be great.

  6. iampradip commented on Nov 29, 2023

    @iampradip
    iampradip
    on Nov 29, 2023
    Author
    More actions

    This should be done. I could use your help testing this! Checkout or download Greasemonkey's source code, then follow the documentation for installing an extension during development. As far as I know this will break installed scripts, so you should use about:profiles to create and launch a new blank Firefox profile to do so, rather than overwriting your existing Greasemonkey install. (Maybe take a Greasemonkey backup first to be safe.)

    Any testing results, positive or negative, would be great.

    Tried in Firefox, it gives scroll, cool!

  7. Zombie10
    added a commit that references this issue on Nov 24, 2024

    Revamp monkey menu.

    This issue will close once commit a7617be is merged into the 'master' branch.
    a7617be
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      • 4.12

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions

      You are visitor 01402503 — GeezerVison does not store the pages you look up.
      Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.