let inputNumber = editor.getSelectedText(); // Remove non-numeric characters const strippedInput = inputNumber.replace(/[^\d]/g, ''); // Check if the input is empty if (strippedInput === '') { console.log('Input must contain numerical characters'); context.cancel(); } else { // Remove leading '1' if present let formattedNumber = strippedInput; if (formattedNumber.startsWith('1')) { formattedNumber = formattedNumber.slice(1); } // Format the number const regex = /^(\d{3})(\d{3})(\d+)$/; formattedNumber = formattedNumber.replace(regex, '$1.$2.$3'); editor.setSelectedText(formattedNumber); }