<commit_before><!-- Use a templated HTML printing scriptlet to import common stylesheet. -->
<?!= HtmlService.createHtmlOutputFromFile('Stylesheet').getContent(); ?>

<script>

function onSuccess(userProp) {
  if (userProp) {
    document.getElementById("lt_server").value = userProp.LT_SERVER;
    document.getElementById("variant_en").value = userProp.VARIANT_EN;
    document.getElementById("variant_de").value = userProp.VARIANT_DE;
    document.getElementById("variant_pt").value = userProp.VARIANT_PT;
    document.getElementById("variant_ca").value = userProp.VARIANT_CA;
  }
}

google.script.run.withSuccessHandler(onSuccess).getUserProperties();

function handleFormSubmit(formObject) {
  google.script.run.processForm(formObject);
  google.script.host.close();
}

</script>

 <form id="myForm" onsubmit="handleFormSubmit(this)">
   <div class="block form-group">
     <label for="lt_server">LanguageTool API server URL:</label>
     <input type="text" id="lt_server" name="lt_server" style="width: 350px;">
     <a href="#" onclick="document.getElementById('lt_server').value='https://languagetool.org/api/v2/'">Use default</a>
   </div><commit_msg>update Dialog for personal dictionary<commit_after><!-- Use a templated HTML printing scriptlet to import common stylesheet. -->
<?!= HtmlService.createHtmlOutputFromFile('Stylesheet').getContent(); ?>

<script>

function onSuccess(userProp) {
  if (userProp) {
    document.getElementById("lt_server").value = userProp.LT_SERVER;
    document.getElementById("variant_en").value = userProp.VARIANT_EN;
    document.getElementById("variant_de").value = userProp.VARIANT_DE;
    document.getElementById("variant_pt").value = userProp.VARIANT_PT;
    document.getElementById("variant_ca").value = userProp.VARIANT_CA;
    document.getElementById("personal_dict").value = userProp.PERSONAL_DICT;
  }
}

google.script.run.withSuccessHandler(onSuccess).getUserProperties();

function handleFormSubmit(formObject) {
  google.script.run.processForm(formObject);
  google.script.host.close();
}

</script>

 <form id="myForm" onsubmit="handleFormSubmit(this)">
   <div class="block form-group">
     <label for="lt_server">LanguageTool API server URL:</label>
     <input type="text" id="lt_server" name="lt_server" style="width: 350px;">
     <a href="#" onclick="document.getElementById('lt_server').value='https://languagetool.org/api/v2/'">Use default</a>
   </div>
   
   <div class="block form-group">
     <label for="personal_dict">Personal dictionary (comma separated list):</label>
     <textarea id="personal_dict" name="personal_dict" rows="3" cols="50"></textarea>
   </div>   
{'fraction_non_alphanumeric': 0.15454545454545454, 'fraction_numerical': 0.004166666666666667, 'mean_word_length': 5.686075949367089, 'pattern_counts': {'":': 0, '<': 33, '<?xml version=': 0, '>': 33, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7513807', 'n_tokens_mistral': 817, 'n_tokens_neox': 804, 'n_words': 130}