Gmail Календар Документи Фотознімки Веб Ще »
Групи, які ви переглядали нещодавно | Довідка | Увійти
Головна сторінка Груп Google
bug#5001: erc should use 'font-lock-face, not 'face
Занадто багато тем, що мають бути показані першими. Для того, щоб показати тему першою, зніміть цю опцію з іншої теми.
Під час обробки вашого запиту сталася помилка. Будь ласка, повторіть вашу спробу пізніше.
флаг
  1 повідомлення - Згорнути всі  -  Перекласти все вказаною мовою: Перекладено (переглянути всі оригінали)
Група, до якої ви додаєте допис, - група Usenet. Відтак, будь-хто в Інтернеті бачитиме вашу електронну адресу.
Вашу відповідь не було надіслано.
Ваш допис надіслано
 
Від:
Кому:
Копія:
Продолжить:
Додати копію: | Додати продовження: | Редагувати тему
Тема:
Підтвердження:
З метою підтвердження введіть символи, наведені на зображенні нижче, або числа, які чуєте, натиснувши значок доступу. Прослухайте і введіть цифри, що чуєте
 
Lennart Borgman  
Переглянути профіль   Перекласти вказаною мовою: Перекладено (переглянути оригінал)
 Більше налаштувань 21 Лис 2009, 13:56
Групи новин: gnu.emacs.bug
Від: Lennart Borgman <lennart.borg...@gmail.com>
Дата: Sat, 21 Nov 2009 12:56:20 +0100
Місцевий час: Сб 21 Лис 2009 13:56
Тема: bug#5001: erc should use 'font-lock-face, not 'face
erc does not use the font-lock machinery for coloring the erc buffers.
If that is good or not I do not know. However there is a problem with
that it currently use the 'face text property. This prevents hi-lock
from working in its buffer which would otherwise be useful.

Therefore please replace 'face with 'font-lock-face everywhere in erc.

(I do not send a patch. I think it is just easier to make the change
which is quite quick to make. I have tested it though.)


    Переслати  
Ви мусите увійти перед публікацією повідомлень.
Аби надіслати допис, будь ласка, спочатку приєднайтеся до цієї групи.
Будь ласка, поновіть своє прізвисько на сторінці налаштування передплати перед тим, як надіслати свій допис.
У вас немає права надсилання дописів до цієї групи.
Кінець повідомлень
« Повернутися до обговорень « Новіша тема     Старіша тема »

Створити групу - Групи Google - Домашня сторінка Google - Правила користування послугою - Заява про конфіденційність і нерозголошення інформації
©2010 Google