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

bug 122036 - make space and ctrl+space work as expected. Not turned on yet.

This commit is contained in:
bryner%netscape.com 2002-02-14 09:29:00 +00:00
Родитель c0afee1f75
Коммит 83015eb2dc
2 изменённых файлов: 8 добавлений и 4 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

6
layout/forms/resources/content/select.xml
Просмотреть файл

@ -594,9 +594,11 @@
event.preventDefault();
var c = this.currentIndex;
var selection = this.outlinerBoxObject.selection;
if (!selection.isSelected(c)) {
if (event.ctrlKey || !selection.isSelected(c)) {
selection.toggleSelect(c);
this.selectElement.setOptionsSelectedByIndex(c, c, true, false, false, false);
this.selectElement.setOptionsSelectedByIndex(c, c,
selection.isSelected(c),
false, false, false);
if ("onchange" in this)
this.onchange();
}

6
layout/html/forms/resources/content/select.xml
Просмотреть файл

@ -594,9 +594,11 @@
event.preventDefault();
var c = this.currentIndex;
var selection = this.outlinerBoxObject.selection;
if (!selection.isSelected(c)) {
if (event.ctrlKey || !selection.isSelected(c)) {
selection.toggleSelect(c);
this.selectElement.setOptionsSelectedByIndex(c, c, true, false, false, false);
this.selectElement.setOptionsSelectedByIndex(c, c,
selection.isSelected(c),
false, false, false);
if ("onchange" in this)
this.onchange();
}