search

gitpod-io / gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.
https://www.gitpod.io
GNU Affero General Public License v3.0
13.01k stars 1.24k forks source link

Can't change the width of the file explorer on the iPad Pro #848

Closed studentIvan closed 3 years ago

studentIvan commented 5 years ago

Describe the bug The gitpod seems the good way to webdevelopment work using iPad only. I combine it with the teamviewer for the web inspection and everything nice. But is impossible to recognise the filename sometimes, because there are no any horizontal scroll or the possibility to change the width. The desktop has it. So is kind of a bug.

To Reproduce Open the workspace using iPad Pro 11'' and try to drag the file explorer border to change the width. 6D7C0411-9F42-4803-A767-E3715055C87B_1_105_c

Expected behavior Should be same as on the desktop browser

studentIvan commented 5 years ago

cmd+P (file search by name) now like as a temporary solution for me (just in case if somebody found this issue)

stale[bot] commented 3 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.