[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 07:08:20 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130329 Thunderbird/17.0.5 |
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?
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 <=
- 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, 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