javascript/examples/grapheditor/www/js/Graph.js
function short(str, max)
			{
				if (str.length > max)
				{
					str = str.substring(0, Math.round(max / 2)) + '...' +
						str.substring(str.length - Math.round(max / 4));
				}
				
				return str;
			}
function short(str, max)
			{
				if (str.length > max)
				{
					str = str.substring(0, Math.round(max / 2)) + '...' +
						str.substring(str.length - Math.round(max / 4));
				}
				
				return str;
			}
function short ( str , max ) { if ( str . length > max ) { str = str . substring ( 0 , Math . round ( max / 2 ) ) + '...' + str . substring ( str . length - Math . round ( max / 4 ) ) ; } return str ; }
Helper function to shorten strings
Helper function to shorten strings