mozilla
/
pjs
зеркало из https://github.com/mozilla/pjs.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Add padding for the textarea object to give a wider margin of space between 

the widget and the text in it.

Remove leading and trailing spaces/newlines.

Add a rows attribute to the textarea input element to pretty it up.
This commit is contained in:
cmp%mozilla.org 2004-11-30 23:35:46 +00:00
Родитель a35b9dfaed
Коммит 19f3783d14
1 изменённых файлов: 3 добавлений и 2 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

5
webtools/build/config.cgi
Просмотреть файл

@ -117,7 +117,7 @@ sub print_script_preview {
<link rel="stylesheet" type="text/css" href="http://www.mozilla.org/css/base/template.css" media="screen">
<link rel="stylesheet" type="text/css" href="http://www.mozilla.org/css/cavendish/template.css" title="Cavendish" media="screen">
<link rel="icon" href="http://www.mozilla.org/images/mozilla-16.png" type="image/png">
<style type="text/css">textarea { border: 1px solid black; }</style>
<style type="text/css">textarea { border: 1px solid black; padding: 2px; }</style>
</HEAD>
<body>
@ -142,13 +142,14 @@ sub print_script_preview {
}
my $script = &print_script;
$script =~ s/^[\n\s]*|[\n\s]*$//g;
print qq(
<!--
<pre class="code">$script</pre>
-->
<textarea name="code-to-save" cols="60">$script</textarea>
<textarea name="code-to-save" cols="60" rows="10">$script</textarea>
<p><input type='submit' value='Save the script'>
</form>