From 4618520bf957ff22624e995cdc6ce9c014e33744 Mon Sep 17 00:00:00 2001 From: zadam Date: Fri, 19 Jul 2019 21:05:22 +0200 Subject: [PATCH] font family for popup, different clip types for notes and whole pages --- .idea/inspectionProfiles/Project_Default.xml | 10 ++++++++ .idea/misc.xml | 3 +++ .idea/workspace.xml | 24 ++++++++++++++++---- background.js | 3 ++- content.js | 3 ++- manifest.json | 2 +- popup/popup.css | 1 + 7 files changed, 39 insertions(+), 7 deletions(-) create mode 100644 .idea/inspectionProfiles/Project_Default.xml diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml new file mode 100644 index 000000000..146ab09b7 --- /dev/null +++ b/.idea/inspectionProfiles/Project_Default.xml @@ -0,0 +1,10 @@ + + + + \ No newline at end of file diff --git a/.idea/misc.xml b/.idea/misc.xml index 639900d13..7e5bdf89f 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -1,5 +1,8 @@ + + diff --git a/.idea/workspace.xml b/.idea/workspace.xml index cc98bef0e..79fcb737a 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,9 +2,11 @@ - - + + + +