Use the following Virtualbox command in your shell: (you must specifiy the target size in MB, for example 200 GB = 200000)
VBoxManage modifymedium image.vdi --resize 200000
tested with: Virtualbox Version 5.0.24_Debian
Use the following Virtualbox command in your shell: (you must specifiy the target size in MB, for example 200 GB = 200000)
VBoxManage modifymedium image.vdi --resize 200000
tested with: Virtualbox Version 5.0.24_Debian