From ea970e6ef5d050790cb05d8933c79c3966fdb43f Mon Sep 17 00:00:00 2001 From: albert-github Date: Tue, 17 Oct 2023 10:59:44 +0200 Subject: [PATCH] Defining a new resource directory to be used with doxygen master 1.10.0 Adding the, new, possibility for `HTML_COPY_CLIPBOARD`: > If the `HTML_COPY_CLIPBOARD` tag is set to `YES` then doxygen will show an icon > the top right of code and text fragments that allows the user to copy the contents to the clipboard (provided > this is supported by the browser). --- Documentation/doc/resources/1.10.0/header.html | 3 +++ Documentation/doc/resources/1.10.0/header_package.html | 3 +++ 2 files changed, 6 insertions(+) diff --git a/Documentation/doc/resources/1.10.0/header.html b/Documentation/doc/resources/1.10.0/header.html index 3eb37d8b586..32657f69fa5 100644 --- a/Documentation/doc/resources/1.10.0/header.html +++ b/Documentation/doc/resources/1.10.0/header.html @@ -17,6 +17,9 @@ + + + $treeview $search diff --git a/Documentation/doc/resources/1.10.0/header_package.html b/Documentation/doc/resources/1.10.0/header_package.html index a5d20b59d6c..827e05a9663 100644 --- a/Documentation/doc/resources/1.10.0/header_package.html +++ b/Documentation/doc/resources/1.10.0/header_package.html @@ -17,6 +17,9 @@ + + +