anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-12-26 22:17:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix multi-window resize bug:

Browse Source 
Use case: Two window share the same buffer. The first window is resize. This modify the inner Buffer structure because Paragraph has a notion of line break and thus line width. When switching to the other window which does not have the same size, LyX crashes because the line break is not adapted the this BufferView width.

This commit fix the crash by resizing the BufferView on a focusInEvent(). That is not a good fix but it is a fix nevertheless. The bad side effect is that when the two BufferView shows the same portion of the Buffer, the second BufferView will show the same line breaks as the first one even though those line breaks are not adapted to the second BufferView width... such is life!



git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@15697 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Abdelrazak Younes 2006-11-02 23:55:49 +00:00
parent bff0d2affb
commit 352ce035b9
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/frontends/qt4/GuiWorkArea.C
View File

@ -299,6 +299,22 @@ void GuiWorkArea::focusInEvent(QFocusEvent * /*event*/)
// in BufferList that could be connected to the different tabbar.
lyx_view_.updateTab();
startBlinkingCursor();
//FIXME: Use case: Two windows share the same buffer.
// The first window is resize. This modify the inner Buffer
// structure because Paragraph has a notion of line break and
// thus line width (this is very bad!).
// When switching to the other window which does not have the
// same size, LyX crashes because the line break is not adapted
// the this BufferView width.
// The following line fix the crash by resizing the BufferView
// on a focusInEvent(). That is not a good fix but it is a fix
// nevertheless. The bad side effect is that when the two
// BufferViews show the same portion of the Buffer, the second
// BufferView will show the same line breaks as the first one;
// even though those line breaks are not adapted to the second
// BufferView width... such is life!
resizeBufferView();
}