modules/media.js

   1
   2 function media_scrape(buffer) {
   3     var scraper = buffer.get("media_scraper");
   4     if (scraper)
   5         yield co_return((yield scraper(buffer)));
   6     yield co_return(null);
   7 }
   8
   9 function media_setup_local_object_classes(buffer) {
  10     buffer.local_variables.default_browser_object_classes = {
  11         __proto__: default_browser_object_classes,
  12         save: "media",
  13         shell_command: "media",
  14         shell_command_url: "media"
  15     };
  16 }
  17
  18 define_browser_object_class("media", $handler = function (buf, prompt) {
  19     let media = yield media_scrape(buf);
  20     if (!media || media.length == 0)
  21         throw interactive_error("No media found.");
  22
  23     if (media.length == 1)
  24         yield co_return(media[0]);
  25
  26     let completer = all_word_completer(
  27         $completions = media,
  28         $get_string = function (x) load_spec_uri_string(x),
  29         $get_description = function (x) load_spec_title(x) || "");
  30
  31     let result = yield this.read(
  32         $prompt = prompt,
  33         $match_required,
  34         $completer = completer,
  35         $auto_complete_initial,
  36         $auto_complete = "media");
  37
  38     yield co_return(result);
  39 });