From e27d9be7880942ef670d91e72f800347bc53fc45 Mon Sep 17 00:00:00 2001 From: Jervis Date: Thu, 6 Jun 2024 17:23:41 +0800 Subject: [PATCH] Delete .cr/personal directory --- .../personal/Editor/Painting/Code Metrics.xml | 6 -- .../personal/Editor/Painting/Member Icons.xml | 6 -- .../Region Painting/Region Painting.xml | 6 -- .../Right Margin Line/Right Margin Line.xml | 6 -- src/.cr/personal/Editor/Spell checker.xml | 7 -- src/.cr/personal/FavoritesList/List.xml | 6 -- src/.cr/personal/IDE/BuildEngine.xml | 6 -- src/.cr/personal/IDE/Shortcuts.xml | 71 ------------------- src/.cr/personal/Navigation/Code Places.xml | 6 -- src/.cr/personal/Options/StorageStreams.xml | 6 -- src/.cr/personal/Unit Testing/Sessions.xml | 10 --- 11 files changed, 136 deletions(-) delete mode 100644 src/.cr/personal/Editor/Painting/Code Metrics.xml delete mode 100644 src/.cr/personal/Editor/Painting/Member Icons.xml delete mode 100644 src/.cr/personal/Editor/Region Painting/Region Painting.xml delete mode 100644 src/.cr/personal/Editor/Right Margin Line/Right Margin Line.xml delete mode 100644 src/.cr/personal/Editor/Spell checker.xml delete mode 100644 src/.cr/personal/FavoritesList/List.xml delete mode 100644 src/.cr/personal/IDE/BuildEngine.xml delete mode 100644 src/.cr/personal/IDE/Shortcuts.xml delete mode 100644 src/.cr/personal/Navigation/Code Places.xml delete mode 100644 src/.cr/personal/Options/StorageStreams.xml delete mode 100644 src/.cr/personal/Unit Testing/Sessions.xml diff --git a/src/.cr/personal/Editor/Painting/Code Metrics.xml b/src/.cr/personal/Editor/Painting/Code Metrics.xml deleted file mode 100644 index b4cd600..0000000 --- a/src/.cr/personal/Editor/Painting/Code Metrics.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - True - - \ No newline at end of file diff --git a/src/.cr/personal/Editor/Painting/Member Icons.xml b/src/.cr/personal/Editor/Painting/Member Icons.xml deleted file mode 100644 index 62046e5..0000000 --- a/src/.cr/personal/Editor/Painting/Member Icons.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - False - - \ No newline at end of file diff --git a/src/.cr/personal/Editor/Region Painting/Region Painting.xml b/src/.cr/personal/Editor/Region Painting/Region Painting.xml deleted file mode 100644 index 62101cc..0000000 --- a/src/.cr/personal/Editor/Region Painting/Region Painting.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - True - - \ No newline at end of file diff --git a/src/.cr/personal/Editor/Right Margin Line/Right Margin Line.xml b/src/.cr/personal/Editor/Right Margin Line/Right Margin Line.xml deleted file mode 100644 index 8432cfb..0000000 --- a/src/.cr/personal/Editor/Right Margin Line/Right Margin Line.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - True - - \ No newline at end of file diff --git a/src/.cr/personal/Editor/Spell checker.xml b/src/.cr/personal/Editor/Spell checker.xml deleted file mode 100644 index b36c175..0000000 --- a/src/.cr/personal/Editor/Spell checker.xml +++ /dev/null @@ -1,7 +0,0 @@ - - - - False - XmlComments|Comments|Strings|VerbatimStrings|PublicIdentifiers|InternalIdentifiers|ProtectedInternalIdentifiers|ProtectedIdentifiers - - \ No newline at end of file diff --git a/src/.cr/personal/FavoritesList/List.xml b/src/.cr/personal/FavoritesList/List.xml deleted file mode 100644 index a60e5ed..0000000 --- a/src/.cr/personal/FavoritesList/List.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/src/.cr/personal/IDE/BuildEngine.xml b/src/.cr/personal/IDE/BuildEngine.xml deleted file mode 100644 index a1af350..0000000 --- a/src/.cr/personal/IDE/BuildEngine.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - True - - \ No newline at end of file diff --git a/src/.cr/personal/IDE/Shortcuts.xml b/src/.cr/personal/IDE/Shortcuts.xml deleted file mode 100644 index 126e458..0000000 --- a/src/.cr/personal/IDE/Shortcuts.xml +++ /dev/null @@ -1,71 +0,0 @@ - - - - - - - - - - - - - - - True - - - - 9 - - - TemplateExpand - [CodeEditorHasFocus] - - - - - - - - - - - - - - - False - - - - False - - - True - - - - - - True - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/src/.cr/personal/Navigation/Code Places.xml b/src/.cr/personal/Navigation/Code Places.xml deleted file mode 100644 index 7ae2c3f..0000000 --- a/src/.cr/personal/Navigation/Code Places.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - True - - \ No newline at end of file diff --git a/src/.cr/personal/Options/StorageStreams.xml b/src/.cr/personal/Options/StorageStreams.xml deleted file mode 100644 index c728484..0000000 --- a/src/.cr/personal/Options/StorageStreams.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/src/.cr/personal/Unit Testing/Sessions.xml b/src/.cr/personal/Unit Testing/Sessions.xml deleted file mode 100644 index a05c8bb..0000000 --- a/src/.cr/personal/Unit Testing/Sessions.xml +++ /dev/null @@ -1,10 +0,0 @@ - - - - - - Vertical - - - - \ No newline at end of file