116 reputation
17
bio website
location
age
visits member for 1 year, 10 months
seen Feb 28 at 12:55

A software developer.


Feb
21
comment Windows 7 task bar stuck in hiding, how to fix?
Like the Windows key on its own, or Ctrl-ESC, which I both mentioned in the question, Windows-T is a workaround. The difference is that Windows-T shows just the task bar, while the Windows key on its own shows the start menu in addition to the task bar.
Jan
3
comment grep to find files that contain ^M (Windows carriage return)
Under Cygwin, -U is needed to make this work. And -n will tell you the line number: grep -r -U -n -e $'\r'
Nov
9
comment Windows 7 task bar stuck in hiding, how to fix?
No solution yet. People who can read already know it's that bug. Btw., I can't see any evidence of it "being looked at". Your reply is the best so far, so I upvoted it. Since it does not answer "how to fix" I'll leave accepting for a true fix or workaround.
Oct
18
comment Windows 7 task bar stuck in hiding, how to fix?
Well, I meant "thanks for reporting the existence of the Eclipse Bug record". :-)
Oct
16
comment Windows 7 task bar stuck in hiding, how to fix?
"Similar" is an understatement, the reports in that Eclipse Bug record sound exactly like the issue I'm having. Thanks for reporting this!
Oct
12
comment Windows 7 task bar stuck in hiding, how to fix?
Please read my original question, especially the edits and my comment from 2012-10-05-8:08 above. CPU or lag is not the issue here.
Oct
5
comment Windows 7 task bar stuck in hiding, how to fix?
Yeah, I need to try to narrow it down, see above. Stretching the task bar - How? My impression is that this is not supported with vanilla Windows 7.
Oct
5
comment Windows 7 task bar stuck in hiding, how to fix?
Most often, Eclipse is maximized. I'll try leaving it unmaximized but almost stretching to the bottom, and see if the issue still occurs.
Oct
5
comment Windows 7 task bar stuck in hiding, how to fix?
I do sometimes use dual screen, but the issue also occurs when I have only one connected. Regarding "@kmote", when the program that is already on top (especially maximized), I might not notice if it is temporarily set to "on top".
Oct
5
comment Windows 7 task bar stuck in hiding, how to fix?
When the problem hits, the task bar appears to not raise at all, no matter how long I wait. Yes, some of the apps can hog resources, but my system is otherwise responsive enough (sub-second).
Oct
5
comment Windows 7 task bar stuck in hiding, how to fix?
The only app that has this set is Windows Task Manager ("WTM"), but that is usually minimized to the notification area. Even when WTM is visible (and forcedly on top of any other windows), the task bar normally rises properly. I experimented briefly: When WTM is maximized, it appears as if the task bar fails to rise. However, when I resize WTM so that it stretches to the bottom, but not to the sides, I see that the task bar does indeed rise, but behind WTM. So... maybe some app temporarily sets itself to "Always on top", like a modal dialog, maybe because it wants to notify me of something.
Sep
24
comment Why does moving large folders take a lot of time?
The answer implied in my post is "Because Explorer was used". The original question "Why does moving large folders take a lot of time?" lacks info on how the move was done. Because of that, if I answered "it happens when you use Explorer". I might be off the mark. I do know that Explorer is the cause on my system, and I share this with you. Surprising as it may seem, before I posted, no one explicitly named Explorer as the culprit. Yes, I'd like to know why Explorer is so slow. As long as there is no known fix, I give a workaround using on-board means, answering "What can I do to fix this?".