[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUI won't build with older QScintilla
From: |
Mike Miller |
Subject: |
Re: GUI won't build with older QScintilla |
Date: |
Tue, 23 Apr 2013 01:24:14 -0400 |
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.
--
mike
- 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 <=
- 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, 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