From f5924fbc9630b9e9dd8bd82d5155102b54169525 Mon Sep 17 00:00:00 2001
From: umorigu <umorigu@gmail.com>
Date: Sun, 9 Feb 2020 09:21:33 +0900
Subject: [PATCH] BugTrack/2499 Set Heading anchor text "user-select:none;"

---
 lib/convert_html.php |  2 +-
 plugin/aname.inc.php | 18 +++++++++++-------
 2 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/lib/convert_html.php b/lib/convert_html.php
index 05a88cc..0f4c42b 100644
--- a/lib/convert_html.php
+++ b/lib/convert_html.php
@@ -993,7 +993,7 @@ class Body extends Element
 			$id     = & $autoid;
 			$anchor = '';
 		} else {
-			$anchor = ' &aname(' . $id . ',super,full){' . $_symbol_anchor . '};';
+			$anchor = ' &aname(' . $id . ',super,full,nouserselect){' . $_symbol_anchor . '};';
 		}
 
 		$text = ' ' . $text;
diff --git a/plugin/aname.inc.php b/plugin/aname.inc.php
index 56638af..cbc583b 100644
--- a/plugin/aname.inc.php
+++ b/plugin/aname.inc.php
@@ -1,8 +1,8 @@
 <?php
 // PukiWiki - Yet another WikiWikiWeb clone
-// $Id: aname.inc.php,v 1.28 2011/01/25 15:01:01 henoheno Exp $
-// Copyright (C)
-//   2002-2005 PukiWiki Developers Team
+// aname.inc.php
+// Copyright
+//   2002-2020 PukiWiki Development Team
 //   2001-2002 Originally written by yu-ji
 // License: GPL v2 or (at your option) any later version
 //
@@ -33,7 +33,7 @@ function plugin_aname_usage($convert = TRUE, $message = '')
 		}
 	} else {
 		if ($message == '') {
-			return '&amp;aname(anchorID[,super][,full][,noid]){[Link title]};';
+			return '&amp;aname(anchorID[,super][,full][,noid][,nouserselect]){[Link title]};';
 		} else {
 			return '&amp;aname: ' . $message . ';';
 		}
@@ -80,6 +80,7 @@ function plugin_aname_tag($args = array(), $convert = TRUE)
 	$f_noid  = in_array('noid',  $args); // Option: Without id attribute
 	$f_super = in_array('super', $args); // Option: CSS class
 	$f_full  = in_array('full',  $args); // Option: With full(absolute) URI
+	$f_nouserselect = in_array('nouserselect', $args); // Option: user-select:none;
 
 	if ($body == '') {
 		if ($f_noid)  return plugin_aname_usage($convert, 'Meaningless(No link-title with \'noid\')');
@@ -103,14 +104,17 @@ function plugin_aname_tag($args = array(), $convert = TRUE)
 	$class   = $f_super ? 'anchor_super' : 'anchor';
 	$attr_id = $f_noid  ? '' : ' id="' . $id . '"';
 	$url     = $f_full  ? get_page_uri($vars['page']) : '';
+	$astyle = '';
 	if ($body != '') {
 		$href  = ' href="' . $url . '#' . $id . '"';
 		$title = ' title="' . $id . '"';
+		if ($f_nouserselect) {
+			$astyle = ' style="user-select:none;"';
+		}
 	} else {
 		$href = $title = '';
 	}
-
-	return '<a class="' . $class . '"' . $attr_id . $href . $title . '>' .
+	return '<a class="' . $class . '"' . $attr_id . $href . $title .
+		$astyle . '>' .
 		$body . '</a>';
 }
-
-- 
2.11.0