2
// -----------------------------------------------------------------------------
3
// $Id: shortName.js 1251 2006-01-31 06:43:27Z torgeilo $
4
// -----------------------------------------------------------------------------
8
var nameField = document.getElementById( 'name' );
9
var shortNameField = document.getElementById( 'shortName' );
10
var maxLength = parseInt( shortNameField.maxLength );
12
if ( previousName != nameField.value
13
&& nameField.value.length <= maxLength
14
&& ( shortNameField.value == previousName
15
|| shortNameField.value.length == 0 ))
17
shortNameField.value = nameField.value;
20
previousName = nameField.value;