From c6a8e01debb34c541f6ae50c208c59febc823d12 Mon Sep 17 00:00:00 2001
From: "Kirill.Safonov" <kirill.safonov@jetbrains.com>
Date: Tue, 15 Mar 2011 16:35:50 +0300
Subject: [PATCH] Flex IDE (initial)

---
 .../platform-impl/src/com/intellij/util/PlatformUtils.java   | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/platform/platform-impl/src/com/intellij/util/PlatformUtils.java b/platform/platform-impl/src/com/intellij/util/PlatformUtils.java
index 0c6c58358716..26dba41e653c 100644
--- a/platform/platform-impl/src/com/intellij/util/PlatformUtils.java
+++ b/platform/platform-impl/src/com/intellij/util/PlatformUtils.java
@@ -26,6 +26,7 @@ public class PlatformUtils {
   public static final String RUBY_PREFIX = "Ruby";
   public static final String PHP_PREFIX = "PhpStorm";
   public static final String WEB_PREFIX = "WebStorm";
+  public static final String FLEX_PREFIX = "Flex";
 
   private PlatformUtils() {
   }
@@ -65,4 +66,8 @@ public class PlatformUtils {
   public static boolean isWebStorm() {
     return WEB_PREFIX.equals(getPlatformPrefix());
   }
+
+  public static boolean isFlexIde() {
+    return FLEX_PREFIX.equals(getPlatformPrefix());
+  }
 }