зеркало из https://github.com/mozilla/pjs.git
Bug 210228 - Make extension list sorted (Tools | Options | Extensions), patch by pike@pikey.me.uk, r=bryner
This commit is contained in:
Родитель
7b4ffe698d
Коммит
4639fb4043
|
@ -56,7 +56,9 @@
|
|||
<listbox id="extList" datasources="rdf:chrome"
|
||||
onselect="extensionSelect();" flex="1"
|
||||
ondblclick="if (isValidLeftClick(event,'listitem')) onDoubleClick(event);"
|
||||
ref="urn:mozilla:package:root" rows="10">
|
||||
ref="urn:mozilla:package:root" rows="10"
|
||||
sortResource="http://www.mozilla.org/rdf/chrome#displayName"
|
||||
sortDirection="ascending">
|
||||
<template xmlns:chrome="http://www.mozilla.org/rdf/chrome">
|
||||
<rule chrome:extension="true">
|
||||
<listitem uri="..."
|
||||
|
|
Загрузка…
Ссылка в новой задаче