comparison libgui/src/workspace-view.cc @ 27957:c20b7290c778

merge stable to default.
author John W. Eaton <jwe@octave.org>
date Fri, 17 Jan 2020 13:27:27 -0600
parents f1844e33f621 2310164737b3
children 0c6dcf803529 0a5b15007766
comparison
equal deleted inserted replaced
27955:179ece36a2eb 27957:c20b7290c778