Code

Add user param to menu()#4913

Code

Merged

Jackenmen merged 17 commits intoCog-Creators:V3/developCog-Creators/Red-DiscordBot:V3/developfrom laggron42:menus-change-authorlaggron42/Red-DiscordBot:menus-change-authorCopy head branch name to clipboardMar 18, 2024

+158-28

Commits

Commits on Mar 23, 2021

• Add user param to menus

  laggron42

  committed
  f833389

Commits on Apr 2, 2021

• Pass the arguments to controls

  laggron42

  committed
  aa68d79

Commits on Apr 9, 2021

• Make the user param keyword-only and optional

  laggron42

  committed
  0ae1703

• Docs

  laggron42

  committed
  230c2c8

Commits on Jun 25, 2021

• Remove outdated docstring (+ we don't use "added in" in our docs)

  Jackenmen

  authored
  6ce27fc

• Merge branch 'V3/develop' into menus-change-author

  Jackenmen

  authored
  c63ea5f

Commits on Mar 17, 2024

• Merge branch 'V3/develop' into menus-change-author

  Jackenmen

  committed
  9d23819

• Remove unnecessary documentation

  Jackenmen

  committed
  e5dfc47

• Add usage to existing code

  Jackenmen

  committed
  d13b17e

• black

  Jackenmen

  committed
  217dcca

• fix docs

  Jackenmen

  committed
  3444250

• update var

  Jackenmen

  committed
  b440e45

• Merge branch 'V3/develop' into menus-change-author

  Jackenmen

  committed
  73f32da

• Restructure menu() documentation

  Jackenmen

  committed
  26eb980

• Add provisional API notes

  Jackenmen

  committed
  b15fc0e

Commits on Mar 18, 2024

• Merge branch 'V3/develop' into menus-change-author

  Jackenmen

  committed
  9987453

• Cross-ref

  Jackenmen

  committed
  5c5e48f