diff --git a/doc/erko_howto_tools.txt b/doc/erko_howto_tools.txt index ffc317942e0560dc244694a5236e85a9d654e2bf..0ef7c01829d3a3d951b209419db85fe8621af460 100755 --- a/doc/erko_howto_tools.txt +++ b/doc/erko_howto_tools.txt @@ -947,6 +947,9 @@ Quartus version meeting minutes 13 may 2020 (RW, LH JH, EK): * Linux ******************************************************************************* +# Window outside screen +Doe Alt-F7 in window, daarna kun je het met de muis slepen. + # Linux Mint version > cat /etc/issue