Differences From Artifact [37169ac313]:

• File src/fossil.numbered-lines.js — part of check-in [3998ccef44] at 2020-08-15 23:30:16 on branch line-number-selection — Renamed TooltipWidget to PopupWidget because's it's not *quite* a tooltip and we're soon going to need something closer to a genuine tooltip. Minor adjacent cleanups and code consolidation. (user: stephan size: 3547)

To Artifact [e14211da29]:

• File src/fossil.numbered-lines.js — part of check-in [8a6ccf9ddd] at 2020-08-16 00:50:31 on branch line-number-selection — Removed the copy button's hard-coded post-copy behaviour (flashing) and instead fire a text-copied event. The line number selection now closes the popup widget after the copy button is triggered. Implemented a basic toast-message API using PopupWidget. (user: stephan size: 3777)

47
48
49
50
51
52
53
54
55




56
57
58
59
60
61
62

    init: function(){
      const e = this.e;
      const btnCopy = D.span(),
            link = D.span();
      this.state = {link};
      F.copyButton(btnCopy,{
        copyFromElement: link,
        extractText: ()=>link.dataset.url
      });




      D.append(this.e, btnCopy, link)
    }
  });

  tbl.addEventListener('click', function f(ev){
    lineTip.show(false);
  }, false);

|
|
>
>
>
>

47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

    init: function(){
      const e = this.e;
      const btnCopy = D.span(),
            link = D.span();
      this.state = {link};
      F.copyButton(btnCopy,{
        copyFromElement: link,
        extractText: ()=>link.dataset.url,
        oncopy: (ev)=>{
          F.toast("Copied: ",D.append(D.code(),ev.detail.text));
          D.flashOnce(ev.target, undefined, ()=>lineTip.hide());
        }
      });//.addEventListener('text-copied', (ev)=>D.flashOnce(ev.target));
      D.append(this.e, btnCopy, link)
    }
  });

  tbl.addEventListener('click', function f(ev){
    lineTip.show(false);
  }, false);