IDEs Support (IntelliJ Platform) | JetBrains

Jon23d

Total activity 12
Last activity January 18, 2016 04:16
Member since July 09, 2011 00:48
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 4

Created July 11, 2011 17:02

It wasn't as dire as I thought, I had a backup from earlier in the day, but, when the deletionocurred the local history also appeared to be deleted. I did not try undoing, but will if it everhappe...
- 0 votes
Created December 01, 2011 18:19

Thank you so much, that has been driving me crazy. Changing the font was all it took.
- 0 votes
Created February 05, 2014 21:16

According to the local history, the files were removed at 5:54pm. I should note, I was not at my desk when it ocurred, and my system was locked. Hereis what happened around that time in the log:2...
- 0 votes
Created February 05, 2014 21:44

Thanks, I'll open a ticket for them. The version I am using is 4.0.2, build #PS-117.501. I'm pretty sure itsthe same version I was using at home when it happened as well.
- 0 votes