MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Cleanup (formatting)

Browse Source
This commit is contained in:
Roman Shevchenko
2017-03-22 14:52:21 +01:00
parent 0a3dd3579a
commit 7b260c8d9b
1 changed files with 17 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/application/ex/ClipboardUtil.java
+17 -16
View File
@@ -1,5 +1,5 @@
/*
* Copyright 2000-2016 JetBrains s.r.o.
* Copyright 2000-2017 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
@@ -18,38 +18,39 @@ package com.intellij.openapi.application.ex;
import com.intellij.openapi.diagnostic.Logger;
import com.intellij.openapi.ide.CopyPasteManager;
import com.intellij.openapi.util.SystemInfo;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import java.awt.datatransfer.DataFlavor;
import java.util.function.Supplier;
public class ClipboardUtil {
private static final Logger LOG = Logger.getInstance("#com.intellij.ide.Clipboard");
public static <E> E handleClipboardSafely(final Supplier<E> supplier, final Supplier<E> onFail) {
try {
return useLegacyMergeSort(supplier);
public static <E> E handleClipboardSafely(@NotNull Supplier<E> supplier, @NotNull Supplier<E> onFail) {
try {
return useLegacyMergeSort(supplier);
}
catch (IllegalStateException e) {
if (SystemInfo.isWindows) {
LOG.debug("Clipboard is busy");
}
catch (IllegalStateException e) {
if (SystemInfo.isWindows) {
LOG.debug("Clipboard is busy");
}
else {
LOG.warn(e);
}
return onFail.get();
else {
LOG.warn(e);
}
return onFail.get();
}
}
private static final String USE_LEGACY_MERGE_SORT_PROPERTY_NAME = "java.util.Arrays.useLegacyMergeSort";
public static <T> T useLegacyMergeSort(Supplier<T> supplier) {
private static <T> T useLegacyMergeSort(Supplier<T> supplier) {
String originalValue = System.getProperty(USE_LEGACY_MERGE_SORT_PROPERTY_NAME);
System.setProperty(USE_LEGACY_MERGE_SORT_PROPERTY_NAME, "true");
try {
return supplier.get();
} finally {
}
finally {
if (originalValue != null) {
System.setProperty(USE_LEGACY_MERGE_SORT_PROPERTY_NAME, originalValue);
}
@@ -60,4 +61,4 @@ public class ClipboardUtil {
public static String getTextInClipboard() {
return CopyPasteManager.getInstance().getContents(DataFlavor.stringFlavor);
}
}
}