Skip to content

Conversation

@shikokuchuo
Copy link
Member

@shikokuchuo shikokuchuo commented Jun 16, 2025

Closes #4229.

The edits in Shiny here are really light. The bulk of the updates belong in the promises package and the articles there.

  1. Adds 'mirai or future' in the couple of cases 'future' is mentioned (package ordering was as @schloerke preferred).
  2. Amends the simple ExtendedTask example to use mirai.
    I don't think there's particular value in adding another future-based example, given the pretty exhaustive examples in the promises package (and also lets us sidestep the future() vs future_promise() question here).

Thanks!

FYI @jcheng5

@shikokuchuo shikokuchuo added this to the Next Release milestone Jun 16, 2025
@cpsievert
Copy link
Collaborator

Thanks!

@cpsievert cpsievert merged commit e8b7c08 into rstudio:main Jun 16, 2025
12 checks passed
@shikokuchuo shikokuchuo deleted the docs/mirai branch June 16, 2025 14:56
schloerke added a commit that referenced this pull request Jul 6, 2025
* main: (32 commits)
  Revert the addition of spacing between `icon` and `label` in `actionButton()` (#4248)
  Restrict `icon`/`label` separator spacing to `actionButton()` (#4247)
  Fix front-end action button label updating logic (#4242)
  Update news
  Properly handle undefined value for input subscribe callback (#4243)
  Start new version (#4241)
  v1.11.0 release candidate (#4232)
  Follow up to #3996: fix front-end checkbox label updating logic (#4238)
  feat(InputBinding): subscribe callback now supports event priority (#4211)
  Follow up to #3996 when label is unspecified (i.e., NULL), don't include it in the message (#4237)
  Run routine (#4234)
  chore: #4175 update jquery-ui to 1.14.1 (#4205)
  Update jQuery to 3.7.1 (#3969)
  Fix 404 in example 08_html (shiny.min.css) (#4221)
  Follow up to #3870: fix location of news item (#4233)
  Bugfix for error found in tests (#3870)
  Allow update input labels with HTML (#3996)
  Adds mirai to documentation (#4230)
  family->given for R Core authorship (#4222)
  fix(renderPlot): get interactive plotting working with ggplot2 v4.0 (#4228)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add mirai to documentation

2 participants