extraction-interface: develop/views/Extractapp/TaggingText.php annotate

author	Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date	Fri, 06 Mar 2015 14:13:18 +0100
parents
children	8347776a44fc

rev	line source
36 e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	1 <?php
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	2 // --- initialize config file and input text ---
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	3 $stringInput = $viewmodel['stringInput'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	4 $wordlistArray = $viewmodel['wordlistArray'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	5 $taglistArray = $viewmodel['taglistArray'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	6 $section_id = $viewmodel['section_id'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	7 $topiclistArray = $viewmodel['topiclistArray'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	8 $default_topic_id = $viewmodel['default_topic_id'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	9 $topic_name = $viewmodel['topic_name'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	10 $topic_tag = $viewmodel['topic_tag'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	11 $info = $viewmodel['info'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	12 $messages = $viewmodel['messages'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	13
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	14
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	15 ?>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	16
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	17 <html>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	18 <head>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	19 <title></title>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	20
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	21 <style>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	22 dynasty
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	23 {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	24 color:red;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	25 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	26 nianhao
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	27 {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	28 color:blue;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	29 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	30 name
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	31 {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	32 color:orange;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	33 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	34 #editable-area {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	35 line-height:160%;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	36 letter-spacing:1.5px;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	37 font-size:21px;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	38 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	39
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	40
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	41 <?php
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	42 // color on the tags
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	43 foreach ( $taglistArray as $taglistValue ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	44 echo $taglistValue[2]."\n{\ncolor:".$taglistValue[3]."\n}\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	45
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	46 echo ".span_".$taglistValue[2]."\n{\nbackground-color:".$taglistValue[3]."\n}\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	47 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	48
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	49 ?>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	50 </style>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	51
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	52
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	53 </head>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	54
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	55 <body>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	56
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	57 <script type="text/javascript">
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	58
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	59 // === This is only for developing on local machine ====
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	60 var _GET = JSON.parse('<?php echo json_encode($_GET) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	61 if (_GET['id']) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	62
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	63 var info = JSON.parse('<?php echo json_encode($info) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	64 var redirectUrl = "http://localhost:1080/localmonographs/develop/Extractapp/TaggingText";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	65 var section_id = info['section_id'];
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	66
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	67 var form = $('<form action="' + redirectUrl + '" method="post">' +
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	68 '<input type="hidden" name="sectionId" value="'+section_id+'" />' +
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	69 '</form>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	70 $('body').append(form);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	71 $(form).submit();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	72 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	73 // ====
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	74
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	75
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	76
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	77 // TODO: Popup to proceeding the saving situations
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	78 function handleFileVersionConflict() {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	79 var info = JSON.parse('<?php echo json_encode($info) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	80 console.log("currentFileId="+info['current_fileId']);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	81
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	82 if (info['current_fileId'] != 0 && info['current_fileId'] != info['file_id']){
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	83 // -- there might be conflicts between different version
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	84 var retVal = confirm('There were something happened/someone editing in the between of time.\nDo you want to force saving? (There might be conflicts between two versions.)');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	85 if( retVal == true ){
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	86 // TODO: force saving with currentFileId
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	87 alert("You do the force saving!");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	88 //saveTextToLGService();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	89
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	90 }else{
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	91 var loadLastest = confirm("Do you want to reload for the lastest version? (Your current editing will lost.)");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	92
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	93 console.log("loadLastest="+loadLastest);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	94 /*
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	95 var form = document.createElement("form");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	96 form.setAttribute("method", "post");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	97 form.setAttribute("action", "./TaggingText"); // hand to controller
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	98 form.setAttribute("target", "_blank");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	99
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	100 var topic_id = JSON.parse('<?php echo json_encode($default_topic_id) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	101
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	102 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	103 hiddenField.setAttribute("name", "topic");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	104 hiddenField.setAttribute("value", topic_id);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	105 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	106
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	107 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	108 hiddenField.setAttribute("name", "func");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	109 hiddenField.setAttribute("value", "Reload"); // reload
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	110 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	111
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	112 _postForContineTagging(form);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	113
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	114 alert("You will reload the latest version.");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	115 */
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	116 /*
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	117 if (loadLastest == true) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	118 // TODO: reload page with the currentFileId
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	119 console.log('loadLastest is true');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	120 $.ajax({
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	121 type : 'POST',
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	122 url : './TaggingText',
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	123 async : false,
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	124 data : 'func=Reload',
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	125 success: function (result) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	126 //var lastest_editing = jQuery.parseJSON(result);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	127 console.log("lastest_editing string:"+result);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	128 // change text to the new one
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	129 //var el = document.getElementById("editable-area");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	130 //el.innerHTML = lastest_editing;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	131 //alert("Reload the page!");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	132 },
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	133 error: function (result) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	134 alert("Reload Fails!");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	135 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	136 }).done(function(result) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	137 // reload page
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	138 //document.location.reload(true);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	139
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	140 });
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	141
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	142 } else {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	143 alert("Just a reminder, there is a new version for this branch.");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	144 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	145 */
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	146
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	147 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	148 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	149 return;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	150
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	151 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	152
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	153 <?php
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	154 foreach ( $taglistArray as $taglistValue ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	155 echo '$(document).on("click", "'.$taglistValue[2].'", function (e) {'."\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	156 echo "\t".'if ( $(this).prop("tagName").toLowerCase() != "'.$taglistValue[2].'" ) return 0;'."\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	157 echo "\t".'if ( $("#editTextId").html() != "Edit the text" ) return 0;'."\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	158 echo "\tremoveTagNewDiv( e, \"".$taglistValue[2]."\", $(this) );\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	159 echo "});\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	160 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	161 ?>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	162
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	163 $(document).ready(function(){
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	164
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	165 // --- for sidebar---
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	166 //run once
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	167 var el=$('#follow-scroll');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	168 var originalelpos=el.offset().top; // take it where it originally is on the page
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	169
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	170
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	171 //run on scroll
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	172 $(window).scroll(function(){
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	173 var el = $('#follow-scroll'); // important! (local)
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	174 var elpos = el.offset().top; // take current situation
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	175 var windowpos = $(window).scrollTop();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	176 var finaldestination = windowpos+originalelpos;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	177 //el.stop().animate({'top':finaldestination},500);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	178 el.stop().animate({'top':finaldestination},0);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	179 });
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	180
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	181 //--- for popups ---
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	182 //run once
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	183 var el=$('#popups');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	184 var originalelpos=el.offset().top; // take it where it originally is on the page
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	185
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	186 //run on scroll
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	187 $(window).scroll(function(){
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	188 var el = $('#popups'); // important! (local)
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	189 var elpos = el.offset().top; // take current situation
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	190 var windowpos = $(window).scrollTop();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	191 var finaldestination = windowpos+originalelpos;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	192 //el.stop().animate({'top':finaldestination},500);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	193 el.stop().animate({'top':finaldestination},0);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	194 });
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	195
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	196
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	197
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	198 handleFileVersionConflict();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	199
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	200
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	201
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	202 /*
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	203
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	204 // Popup choosing topic if first time to this section. without branchId
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	205 if (info['file_id'] == 0) { // or info['branchId'] == 0, means new file
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	206 // ask to choose topic
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	207 $.ajax({
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	208
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	209 });
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	210 var popup = document.getElementById('popup-window');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	211
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	212 // alert('choose topic!');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	213 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	214 */
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	215
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	216 });
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	217 $(document).on("click", "name", function (e) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	218
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	219 if ( $("#editTextId").html() != "Edit the text" ) return 0;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	220 if ( $(this).prop("tagName").toLowerCase() != "name" ) return 0;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	221
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	222 removeTagNewDiv( e, "name", $(this) );
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	223 });
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	224
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	225 $(document).on("mouseup", '#editable-area', function (e) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	226 $('.questionMarkClass').remove();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	227 $('.tagItemDivClass').remove();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	228
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	229 if ( $("#editTextId").html() != "Edit the text" ) return 0;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	230 var selection = getSelected();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	231 range = getSelected().getRangeAt(0);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	232
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	233 container = document.createElement("div");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	234 container.appendChild(selection.getRangeAt(0).cloneContents());
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	235
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	236 if(selection && (selection = new String(selection).replace(/^\s+\|\s+$/g,''))) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	237
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	238 var newdiv = document.createElement("div");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	239 newdiv.id = "tagItemDivId";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	240 newdiv.setAttribute("class", "tagItemDivClass");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	241 newdiv.style.cssText = 'top:'+e.pageY+'; left:'+e.pageX+'; position:absolute; background-color: white; border:1px solid black; padding: 5px';
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	242
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	243 newdiv.style.backgroundColor = "white";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	244 newdiv.style.zIndex = 2;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	245
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	246 //console.log(selection.getRangeAt(0).cloneContents());
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	247 if ( container.innerHTML.indexOf( "br" ) != -1 ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	248 var newselect = document.createElement("select");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	249 newselect.id = "TitletagType";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	250 <?php
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	251 foreach ( $taglistArray as $taglistValue ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	252 echo "newselect.innerHTML += \"<option value='".$taglistValue[2]."'>".$taglistValue[1]."</option>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	253 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	254 ?>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	255 newdiv.appendChild(newselect);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	256
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	257 //matchValue = .match();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	258 myRegexp = new RegExp("〈(.*?)〉", "g")
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	259 matchValue = myRegexp.exec(String(selection));
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	260
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	261 if ( matchValue != null ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	262 newdiv.innerHTML += "<input id=\"TitletagName\" value=\""+ matchValue[1] +"\"></br>";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	263 } else {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	264 newdiv.innerHTML += "<input id=\"TitletagName\" value=\"\"></br>";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	265 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	266
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	267 console.log(" container innerHTML: "+ container.innerHTML );
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	268
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	269 newdiv.innerHTML += "<button onclick=\"addTagTitle( range, container )\">Add Title Tag To Each Line</button></br>";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	270
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	271 /*
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	272 newdiv.innerHTML += "<button onclick=\"exportTable( range, container )\">Export As A Table</button></br></br>";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	273 */
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	274
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	275 var newselect = document.createElement("select");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	276 newselect.id = "RemoveTitletagType";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	277 <?php
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	278 foreach ( $taglistArray as $taglistValue ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	279 echo "newselect.innerHTML += \"<option value='".$taglistValue[2]."'>".$taglistValue[1]."</option>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	280 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	281 ?>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	282 newdiv.appendChild(newselect);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	283
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	284 newdiv.innerHTML += "<input id=\"RemoveTitletagName\" value=\"\"></br>";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	285 newdiv.innerHTML += "<button onclick=\"removeTagTitle( range, container )\">Remove</button></br>";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	286 } else {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	287 // for pop up window on edit-area for tag list
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	288 newdiv.innerHTML = "Tag: "+String(selection)+"<br>";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	289
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	290 <?php
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	291 foreach ( $taglistArray as $taglistValue ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	292
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	293 if ($taglistValue[2] == $topic_tag) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	294 echo "newdiv.innerHTML += \"<button accesskey=\\\"1\\\" onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."2' )\\\">[TopicTag]Tag as:".$taglistValue[1]."(necessary for this topic!)</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	295 echo "newdiv.innerHTML += \"<button accesskey=\\\"1\\\" onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(No BR)</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	296 echo "newdiv.innerHTML += \"<button onclick=\\\"tagStringWithTag( '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(ALL)</button></br>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	297
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	298 /*
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	299 echo "newdiv.innerHTML += \"<button accesskey=\\\"1\\\" onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(No BR)</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	300 echo "newdiv.innerHTML += \"<button accesskey=\\\"1\\\" onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."2' )\\\">Tag as:".$taglistValue[1]."</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	301 echo "newdiv.innerHTML += \"<button onclick=\\\"tagStringWithTag( '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(ALL)</button></br>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	302 */
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	303 break;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	304 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	305 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	306 ?>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	307
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	308 newdiv.innerHTML += "<button accesskey=\"2\" onclick=\"tagwithtitle( range, '"+String(selection)+"' )\">Tag As Title</button></br>";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	309
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	310 <?php
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	311
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	312 foreach ( $taglistArray as $taglistValue ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	313 /*
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	314 if ( $taglistValue[2] == "person") {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	315 echo "newdiv.innerHTML += \"<button accesskey=\\\"1\\\" onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(No BR)</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	316 echo "newdiv.innerHTML += \"<button accesskey=\\\"1\\\" onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."2' )\\\">Tag as:".$taglistValue[1]."</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	317 echo "newdiv.innerHTML += \"<button onclick=\\\"tagStringWithTag( '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(ALL)</button></br>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	318 } else */
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	319 if ($taglistValue[2] == $topic_tag) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	320 // pass
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	321 } else if ($taglistValue[2] == "post_time") {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	322 echo "newdiv.innerHTML += \"<button accesskey=\\\"3\\\" onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	323 echo "newdiv.innerHTML += \"<button onclick=\\\"tagStringWithTag( '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(ALL)</button></br>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	324 } else if ($taglistValue[2] == "office") {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	325 echo "newdiv.innerHTML += \"<button accesskey=\\\"4\\\" onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	326 echo "newdiv.innerHTML += \"<button onclick=\\\"tagStringWithTag( '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(ALL)</button></br>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	327 } else {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	328 echo "newdiv.innerHTML += \"<button onclick=\\\"tagwithOnlytag( range, '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."</button>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	329 echo "newdiv.innerHTML += \"<button onclick=\\\"tagStringWithTag( '\"+String(selection)+\"', '".$taglistValue[2]."' )\\\">Tag as:".$taglistValue[1]."(ALL)</button></br>\";\n";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	330 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	331
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	332 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	333 ?>
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	334 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	335
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	336 //$('#tagItemDivId').addClass(); // tagItemDivId is newdiv's id
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	337 $('body').append(newdiv);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	338
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	339 $('#TitletagType').val(lastAddTag);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	340
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	341 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	342 //e.stopPropagation();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	343 });
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	344
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	345
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	346 // === for exporttable.php ===
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	347 function exportTable( range, container ) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	348 //MsgBox("enter function");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	349 var form = document.createElement("form");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	350 form.setAttribute("method", "post");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	351 form.setAttribute("action", "./ExportTable");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	352 form.setAttribute("target", "_blank");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	353
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	354 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	355 hiddenField.setAttribute("name", "content");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	356 hiddenField.setAttribute("value", container.innerHTML);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	357 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	358
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	359 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	360 hiddenField.setAttribute("name", "sectionid");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	361 hiddenField.setAttribute("value", "<?php echo $section_id; ?>");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	362 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	363
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	364 var hiddenField2 = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	365 hiddenField2.setAttribute("name", "topic");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	366 hiddenField2.setAttribute("value", topic_id);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	367 form.appendChild(hiddenField2);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	368
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	369 var info = JSON.parse( '<?php echo json_encode($info) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	370
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	371 if (info) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	372 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	373 hiddenField.setAttribute("name", "bookId");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	374 hiddenField.setAttribute("value", info['book_id']);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	375 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	376
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	377 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	378 hiddenField.setAttribute("name", "bookName");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	379 hiddenField.setAttribute("value", info['book_name']);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	380 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	381
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	382 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	383 hiddenField.setAttribute("name", "sectionName");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	384 hiddenField.setAttribute("value", info['section_name']);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	385 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	386
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	387 };
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	388
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	389 if(navigator.userAgent.toLowerCase().indexOf('firefox') > -1) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	390 document.body.appendChild(form);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	391 form.submit();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	392 } else {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	393 form.submit(); // works under IE and Chrome, but not FF
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	394 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	395 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	396
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	397 function exportPage(topic_id) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	398 var startPage = $('#exportPageStart').val();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	399 var endPage = $('#exportPageEnd').val();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	400
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	401 var el = document.getElementById("editable-area");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	402 var str="" + el.innerHTML;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	403
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	404 var regexText="【<a([^<>]?)>"+startPage+"</a>】(.?)【<a([^<>]*?)>"+endPage+"</a>】";
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	405
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	406 var form = document.createElement("form");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	407 form.setAttribute("method", "post");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	408 form.setAttribute("action", "./ExportTable");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	409 form.setAttribute("target", "_blank");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	410
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	411 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	412 hiddenField.setAttribute("name", "content");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	413 hiddenField.setAttribute("value", str.match(new RegExp(regexText, "g")));
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	414 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	415
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	416 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	417 hiddenField.setAttribute("name", "topic");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	418 hiddenField.setAttribute("value", topic_id);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	419 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	420
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	421 _postForContineTagging(form);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	422
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	423
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	424 /*
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	425 var section_id = JSON.parse('<?php echo json_encode($section_id) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	426 console.log("section_id: "+section_id+", topic_id: "+topic_id);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	427
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	428 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	429 hiddenField.setAttribute("name", "sectionId");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	430 hiddenField.setAttribute("value", section_id);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	431 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	432
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	433 var info = JSON.parse( '<?php echo json_encode($info) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	434
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	435 if (info) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	436 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	437 hiddenField.setAttribute("name", "bookId");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	438 hiddenField.setAttribute("value", info['book_id']);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	439 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	440
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	441 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	442 hiddenField.setAttribute("name", "bookName");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	443 hiddenField.setAttribute("value", info['book_name']);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	444 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	445
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	446 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	447 hiddenField.setAttribute("name", "sectionName");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	448 hiddenField.setAttribute("value", info['section_name']);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	449 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	450
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	451 };
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	452
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	453
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	454 if(navigator.userAgent.toLowerCase().indexOf('firefox') > -1) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	455 document.body.appendChild(form);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	456 form.submit();
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	457 } else {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	458 form.submit(); // works under IE and Chrome, but not FF
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	459 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	460 */
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	461 }
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	462
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	463
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	464
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	465
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	466 function exportAll(topic_id) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	467 var el = document.getElementById("editable-area");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	468 var str= "" + el.innerHTML;
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	469 var form = document.createElement("form");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	470 form.setAttribute("method", "post");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	471 form.setAttribute("action", "./ExportTable");//+section_id); // hand to controller
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	472 form.setAttribute("target", "_blank");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	473
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	474 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	475 hiddenField.setAttribute("name", "content");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	476 hiddenField.setAttribute("value", str);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	477 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	478
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	479 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	480 hiddenField.setAttribute("name", "topic");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	481 hiddenField.setAttribute("value", topic_id);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	482 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	483
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	484 _postForContineTagging(form);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	485 /*
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	486 var section_id = JSON.parse('<?php echo json_encode($section_id) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	487 console.log("section_id: "+section_id+", topic_id: "+topic_id);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	488
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	489 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	490 hiddenField.setAttribute("name", "sectionId");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	491 hiddenField.setAttribute("value", section_id);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	492 form.appendChild(hiddenField);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	493
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	494 var info = JSON.parse( '<?php echo json_encode($info) ?>');
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	495
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	496 if (info) {
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	497 var hiddenField = document.createElement("input");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	498 hiddenField.setAttribute("name", "bookId");
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	499 hiddenField.setAttribute("value", info['book_id']);
e078e1500cc2 config for localgazetteers-dev Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	500 form.appendChild(hiddenField);

36

e078e1500cc2 config for localgazetteers-dev