|
--------------------------------------------
public void paint(Graphics g)
{
// Начальная координата для вывода по вертикали
int yStart = 20;
// Текущая координата для вывода строки
int yCurrent = 20;
// Определяем текущие размеры окна аплета
Dimension dimAppWndDimension = size();
// Выбираем в контекст отображения желтый цвет
g.setColor(Color.yellow);
// Закрашиваем внутреннюю область окна аплета
g.fillRect(0, 0,
dimAppWndDimension.width - 1,
dimAppWndDimension.height - 1);
// Выбираем в контекст отображения черный цвет
g.setColor(Color.black);
// Рисуем рамку вокруг окна аплета
g.drawRect(0, 0,
dimAppWndDimension.width - 1,
dimAppWndDimension.height - 1);
// Получаем стиль шрифта и выбираем шрифт
// в соответствии с этим стилем
if(m_Type1.equals("Bold"))
g.setFont(new Font(m_Font1, Font.BOLD, 25));
else if(m_Type1.equals("Italic"))
g.setFont(new Font(m_Font1, Font.ITALIC, 25));
else if(m_Type1.equals("Plain"))
g.setFont(new Font(m_Font1, Font.PLAIN, 25));
// Отступ для первой строки
yCurrent += yStart;
// Рисуем первую строку
g.drawString(m_Str1, 10, yCurrent);
}
}
7 ПРИМЕНЕНИЕ COOKIE
Возможно, изучая настройки браузера вы сталкивались с таким понятием, как
cookie.
Что это такое?
Скажем сразу, что с кулинарным искусством это связано мало, хотя некоторую
аналогию все же можно провести. Говоря кратко, cookie представляет собой
свойство документа HTML. Данные cookie физически хранятся локально на
компьютере пользователя, загрузившего к себе этот документ, в виде специального
системного файла. С помощью cookie пользователь может настроить, или
“приготовить” по собственному вкусу документ HTML, если для него предусмотрена
такая настройка.
Проще всего представить себе cookie как набор строковых параметров, каждый
из которых имеет имя и значение. Сценарий JavaScript может создавать cookie для
документа HTML, определяя в нем произвольное количество параметров и задавая
для них произвольные значения. После создания такой набор параметров становится
принадлежностью данного конкретного документа HTML и может быть проанализирован,
изменен или удален сценарием JavaScript.
Как мы уже говорили, основное, для чего нужно cookie - это для того, чтобы
дать пользователю возможность настроить под свои потребности интерфейс активных
документов HTML. Эти настройки могут анализироваться или не анализироваться
сервером Web, но в любом случае они хранятся у пользователя. Настройки,
разумеется, пропадут, если пользователь, скажем, отформатирует свой жесткий
диск. После этого параметры настраиваемого документа HTML придется задавать
заново.
Конечно, задачу индивидуальной настройки параметров страниц можно было бы
решить и другими способами, например, при помощи расширений сервера Web,
|
|