[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed
From: |
Markus Mützel |
Subject: |
[Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed |
Date: |
Sat, 8 May 2021 07:20:33 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/90.0.4430.93 Safari/537.36 Edg/90.0.818.51 |
Follow-up Comment #2, bug #60556 (project octave):
Might be related to this change:
https://hg.savannah.gnu.org/hgweb/octave/rev/07591becbc40
changeset 29597:07591becbc40
eliminate more child to parent signal/slot connections
* main-window.cc (create_default_editor): Delete.
* file-editor.h, file-editor.cc (file_editor::update_gui_lexer_signal,
file_editor::execute_command_in_terminal_signal,
file_editor::focus_console_after_command_signal,
file_editor::run_file_signal, file_editor::edit_mfile_request,
file_editor::debug_quit_signal): New signals.
(file_editor::make_file_editor_tab): Instead of connecting signals
from the tab to parent object slots, forward through new file_editor
signals.
* main-window.cc (main_window::main_window): Connect file_editor
signals to main_window slots here.
(file_editor::find_create, file_editor::is_editor_console_tabbed,
file_editor::empty_script): Use parentWidget instead of calling
main_win.
author John W. Eaton <jwe@octave.org>
date Mon, 03 May 2021 13:30:29 -0400 (4 days ago)
parents d2b56b5e9d43
children c7b104ebed4d
files libgui/src/m-editor/file-editor.cc libgui/src/m-editor/file-editor.h
libgui/src/main-window.cc
diffstat 3 files changed, 119 insertions(+), 82 deletions(-) [+]
I had to delete the `octave-gui.ini` file each time when switching the
revision.
But changing the editor fonts seems to work reliably before that change and
fails (or is less reliable?) after that change.
Once the `octave-gui.ini` file is corrupt(?) by changing the fonts without
success, there is no way of reliably changing the fonts even with a revision
that seems to work correctly with a "fresh" `octave-gui.ini` file.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?60556>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Lars Kindermann, 2021/05/08
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Markus Mützel, 2021/05/08
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed,
Markus Mützel <=
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Torsten Lilge, 2021/05/08
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Markus Mützel, 2021/05/08
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Lars Kindermann, 2021/05/08
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Torsten Lilge, 2021/05/09
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Lars Kindermann, 2021/05/09
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, John W. Eaton, 2021/05/09
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Lars Kindermann, 2021/05/09
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Lars Kindermann, 2021/05/09
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Torsten Lilge, 2021/05/09
- [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed, Rik, 2021/05/27