2018-02-05 17:22:04 +03:00
|
|
|
|
<!DOCTYPE HTML PUBLIC -//W3C//DTD HTML 4.01 Transitional//EN>
|
2015-10-19 13:27:31 +03:00
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>option</title>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<h1>option</h1>
|
|
|
|
|
|
2018-02-05 17:22:04 +03:00
|
|
|
|
<p>Команда добавляет/получает параметры окон в/из базы данных
|
|
|
|
|
параметров окон.</p>
|
2015-10-19 13:27:31 +03:00
|
|
|
|
|
2018-02-05 17:22:04 +03:00
|
|
|
|
<h2><a name=СИНТАКСИС></a>СИНТАКСИС</h2>
|
2015-10-19 13:27:31 +03:00
|
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
|
<strong>option add</strong> <em>pattern value</em> ?<em>priority</em>?
|
|
|
|
|
<strong>option clear</strong>
|
|
|
|
|
<strong>option get</strong> <em>window name class</em>
|
|
|
|
|
<strong>option readfile</strong> <em>fileName</em> ?<em>priority</em>?
|
|
|
|
|
</pre>
|
|
|
|
|
|
2018-02-05 17:22:04 +03:00
|
|
|
|
<h2><a name=ОПИСАНИЕ></a>ОПИСАНИЕ</h2>
|
|
|
|
|
|
|
|
|
|
<p>Команда позволяет добавить в базу данных параметров окон новые
|
|
|
|
|
значения, считать из нее значения указанных параметров, очистить
|
|
|
|
|
базу или добавить в базу данные из указанного файла стандартного
|
|
|
|
|
формата. Аргумент <em>pattern</em>задает конкретный параметр и
|
|
|
|
|
состоит из имен параметров и/или классов. Аргумент
|
|
|
|
|
<em>value</em> содержит значение параметра. Аргумент
|
|
|
|
|
<em>fileName</em> задает файл со значениями
|
|
|
|
|
параметров. Необязательный аргумент <em>priority</em> указывает
|
|
|
|
|
уровень приоритета для ввода параметра.</p>
|
2015-10-19 13:27:31 +03:00
|
|
|
|
</body>
|
|
|
|
|
</html>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2018-02-05 17:22:04 +03:00
|
|
|
|
|