Windows 8.1 users - Web IDE problems

[gfwilliams]

Posted at 2014-07-02 by @gfwilliams

I've just had a bug filed that users on Windows 8.1 are unable to resize the Web IDE's window.

Can anyone else confirm this please? It seems unlikely but I don't have a computer here to test with.

[espruino-discuss3]

Posted at 2014-07-02 by DrAzzy

I can resize the WebIDE on Win8.1 without any problems.

---

Posted at 2014-07-02 by Frida

I can only resize vertical from the top on Ubuntu 14.04 64bit. I can get full screen, and half screen left or right vertical. On Linux Mint 17 it all works.

---

Posted at 2014-07-02 by @gfwilliams

So much for Chrome's multi-platform capability. What happens, is it that dragging doesn't resize it, or is it that you never get a resize cursor when going near the edge?

---

Posted at 2014-07-02 by Frida

I only get a cursor resize at the top edge, and when I drag it, it also drag the buttom too.

---

Posted at 2014-07-02 by Frida

Resize on Window 8.1 64bit also work here.

---

Posted at 2014-07-02 by MrTimcakes

Re-sizing works, the only problem with the web IDE i have is that fullscreen covers the taskbar.

---

Posted at 2014-07-02 by JumJum

This happens to me from time to time.
Can't even move the window.
Everything else works fine.
Browser window which is open same time, works fine.
Have to restart IDE to get full functionality back.
Windows 8.1 64 bit, actual version of chrome.

---

Posted at 2014-07-02 by @gfwilliams

@jumjum, Strange... did you notice any errors in the console? I guess you're using the dev version?

---

Posted at 2014-07-02 by JumJum

Just checked, resize and window move is not working.
Minimize/maximize works fine.
There was no action in WebIDE during previous 4 hours.
No message in console.
After restarting WebIDE everything works fine.

Sounds really strange, but thats what happens :-(

---

Posted at 2014-07-02 by DrAzzy

Hmm, mine seems to be glued to the upper left of the screen now, but I can resize it normally...

---

Posted at 2014-07-03 by @gfwilliams

Odd - the last update to the Web IDE was last week, so if it's started breaking my guess is it's a Chrome bug :(

---

Posted at 2014-07-03 by DrAzzy

It's wierd, it starts off working, but over time, the window stops behaving well.