[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUI won't build with older QScintilla
From: |
Torsten |
Subject: |
Re: GUI won't build with older QScintilla |
Date: |
Tue, 23 Apr 2013 21:52:18 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130329 Thunderbird/17.0.5 |
On 23.04.2013 07:24, Mike Miller wrote:
> On Tue, Apr 23, 2013 at 1:08 AM, Torsten wrote:
>> On 23.04.2013 06:47, Mike Miller wrote:
>>> On Fri, Apr 12, 2013 at 2:41 PM, Torsten wrote:
>>>> The changeset with the general lexer is checked in:
>>>> http://hg.savannah.gnu.org/hgweb/octave/rev/3781abc74540
>>>
>>> I haven't run the GUI in a while; I noticed tonight that this change
>>> has disabled syntax highlighting for m-files in the editor, at least
>>> for my build. Was that the intent?
>>
>> No, definitely not. Please have a look at the tab "Editor-Styles" in the
>> settings dialog. What are the settings for octave?
>
> Ok, I see this settings panel now. The settings on the "Octave" tab
> are all Default font and black. The other file type tabs have font and
> color settings filled in.
Changeset http://hg.savannah.gnu.org/hgweb/octave/rev/ce65326ecd6c adds
default fonts and colors to the lexer.
Torsten
- Re: GUI won't build with older QScintilla, (continued)
- Re: GUI won't build with older QScintilla, Torsten, 2013/04/05
- Re: GUI won't build with older QScintilla, Torsten, 2013/04/05
- Re: GUI won't build with older QScintilla, Jordi Gutiérrez Hermoso, 2013/04/05
- Re: GUI won't build with older QScintilla, John W. Eaton, 2013/04/05
- Re: GUI won't build with older QScintilla, Torsten, 2013/04/06
- Re: GUI won't build with older QScintilla, Jordi Gutiérrez Hermoso, 2013/04/08
- Re: GUI won't build with older QScintilla, Torsten, 2013/04/12
- Re: GUI won't build with older QScintilla, Mike Miller, 2013/04/23
- Re: GUI won't build with older QScintilla, Torsten, 2013/04/23
- Re: GUI won't build with older QScintilla, Mike Miller, 2013/04/23
- Re: GUI won't build with older QScintilla,
Torsten <=
- Re: GUI won't build with older QScintilla, Mike Miller, 2013/04/23
- Re: GUI won't build with older QScintilla, Torsten, 2013/04/24
- Re: GUI won't build with older QScintilla, Torsten, 2013/04/24
- Re: GUI won't build with older QScintilla, Jordi Gutiérrez Hermoso, 2013/04/26
- Re: GUI won't build with older QScintilla, Torsten, 2013/04/27
- Re: GUI won't build with older QScintilla, Catalin Codreanu, 2013/04/28
- Re: GUI won't build with older QScintilla, John W. Eaton, 2013/04/29
- Re: GUI won't build with older QScintilla, Ben Abbott, 2013/04/29