From 81c22ea47a337d4877d8617c9117686ae59c6d63 Mon Sep 17 00:00:00 2001
From: faveoled <85760289+faveoled@users.noreply.github.com>
Date: Mon, 12 Jun 2023 15:49:25 +0300
Subject: [PATCH 1/4] Add HTMLAnchorElement#download

---
 dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala b/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
index 3a030755f..ef5eb37b5 100644
--- a/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
+++ b/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
@@ -16,6 +16,13 @@ import scala.scalajs.js.annotation._
 @js.native
 @JSGlobal
 abstract class HTMLAnchorElement extends HTMLElement {
+ 
+  /**
+    * A string indicating that the linked resource is intended to be downloaded rather than displayed in the 
+    * browser. The value represent the proposed name of the file. If the name is not a valid filename of the 
+    * underlying OS, browser will adapt it.
+    */
+  var download: String = js.native 
 
   /** Is a DOMString that reflects the rel HTML attribute, specifying the relationship of the target object to the link
     * object.

From b4545709df0667ff334cf55c4e6940d81b3a4dfb Mon Sep 17 00:00:00 2001
From: faveoled <85760289+faveoled@users.noreply.github.com>
Date: Mon, 12 Jun 2023 20:54:12 +0300
Subject: [PATCH 2/4] Update HTMLAnchorElement.scala

---
 .../main/scala/org/scalajs/dom/HTMLAnchorElement.scala   | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala b/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
index ef5eb37b5..e430bda20 100644
--- a/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
+++ b/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
@@ -17,12 +17,11 @@ import scala.scalajs.js.annotation._
 @JSGlobal
 abstract class HTMLAnchorElement extends HTMLElement {
  
-  /**
-    * A string indicating that the linked resource is intended to be downloaded rather than displayed in the 
-    * browser. The value represent the proposed name of the file. If the name is not a valid filename of the 
-    * underlying OS, browser will adapt it.
+  /** A string indicating that the linked resource is intended to be downloaded rather than displayed in the browser.
+    * The value represent the proposed name of the file. If the name is not a valid filename of the underlying OS,
+    * browser will adapt it.
     */
-  var download: String = js.native 
+  var download: String = js.native
 
   /** Is a DOMString that reflects the rel HTML attribute, specifying the relationship of the target object to the link
     * object.

From 45cb03f22bc63f9a5faf8d9f696bf604f61b94eb Mon Sep 17 00:00:00 2001
From: faveoled <85760289+faveoled@users.noreply.github.com>
Date: Mon, 12 Jun 2023 20:58:53 +0300
Subject: [PATCH 3/4] api-reports update

---
 api-reports/2_12.txt | 1 +
 api-reports/2_13.txt | 1 +
 2 files changed, 2 insertions(+)

diff --git a/api-reports/2_12.txt b/api-reports/2_12.txt
index 0d273a2be..d874b2985 100644
--- a/api-reports/2_12.txt
+++ b/api-reports/2_12.txt
@@ -2380,6 +2380,7 @@ HTMLAnchorElement[JC] var contentEditable: String
 HTMLAnchorElement[JC] def dataset: js.Dictionary[String]
 HTMLAnchorElement[JC] var dir: String
 HTMLAnchorElement[JC] def dispatchEvent(evt: Event): Boolean
+HTMLAnchorElement[JC] var download: String
 HTMLAnchorElement[JC] var draggable: Boolean
 HTMLAnchorElement[JC] var filters: Object
 HTMLAnchorElement[JC] def firstChild: Node
diff --git a/api-reports/2_13.txt b/api-reports/2_13.txt
index 0d273a2be..d874b2985 100644
--- a/api-reports/2_13.txt
+++ b/api-reports/2_13.txt
@@ -2380,6 +2380,7 @@ HTMLAnchorElement[JC] var contentEditable: String
 HTMLAnchorElement[JC] def dataset: js.Dictionary[String]
 HTMLAnchorElement[JC] var dir: String
 HTMLAnchorElement[JC] def dispatchEvent(evt: Event): Boolean
+HTMLAnchorElement[JC] var download: String
 HTMLAnchorElement[JC] var draggable: Boolean
 HTMLAnchorElement[JC] var filters: Object
 HTMLAnchorElement[JC] def firstChild: Node

From 97f89ff6b4a1ec86601b504710652bdaaeed6b70 Mon Sep 17 00:00:00 2001
From: faveoled <85760289+faveoled@users.noreply.github.com>
Date: Mon, 12 Jun 2023 21:01:39 +0300
Subject: [PATCH 4/4] Update HTMLAnchorElement.scala

---
 dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala b/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
index e430bda20..bbfc4d753 100644
--- a/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
+++ b/dom/src/main/scala/org/scalajs/dom/HTMLAnchorElement.scala
@@ -16,7 +16,7 @@ import scala.scalajs.js.annotation._
 @js.native
 @JSGlobal
 abstract class HTMLAnchorElement extends HTMLElement {
- 
+
   /** A string indicating that the linked resource is intended to be downloaded rather than displayed in the browser.
     * The value represent the proposed name of the file. If the name is not a valid filename of the underlying OS,
     * browser will adapt it.