logos and out

cozodesk/cozo_logo.svg

@@ -2,17 +2,24 @@
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
 <!-- Created with Vectornator (http://vectornator.io/) -->
 <svg height="100%" stroke-miterlimit="10" style="fill-rule:nonzero;clip-rule:evenodd;stroke-linecap:round;stroke-linejoin:round;" version="1.1" viewBox="0 0 1240 1240" width="100%" xml:space="preserve" xmlns="http://www.w3.org/2000/svg" xmlns:vectornator="http://vectornator.io" xmlns:xlink="http://www.w3.org/1999/xlink">
-<defs/>
+<defs>
+<filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="1084.59" id="Filter" width="1087.88" x="75.7768" y="81.8856">
+<feDropShadow dx="-0" dy="0" flood-color="#000000" flood-opacity="0.707612" in="SourceGraphic" result="Shadow" stdDeviation="10"/>
+</filter>
+<filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="948.789" id="Filter_2" width="969.302" x="126.109" y="164.32">
+<feDropShadow dx="-4.37114e-07" dy="10" flood-color="#000000" flood-opacity="0.707612" in="SourceGraphic" result="Shadow" stdDeviation="12.5"/>
+</filter>
+</defs>
 <g id="Layer-2" vectornator:layerName="Layer 2">
-<path d="M282.258 8.02975L957.195 8.02975C1110.07 8.02975 1234 148.687 1234 322.196L1234 918.546C1234 1092.06 1110.07 1232.71 957.195 1232.71L282.258 1232.71C129.383 1232.71 5.45438 1092.06 5.45438 918.546L5.45438 322.196C5.45438 148.687 129.383 8.02975 282.258 8.02975Z" fill="#ffffff" fill-rule="nonzero" opacity="1" stroke="none"/>
+<path d="M331.875 101.886L907.561 101.886C1037.95 101.886 1143.66 221.859 1143.66 369.853L1143.66 878.507C1143.66 1026.51 1037.95 1146.47 907.561 1146.47L331.875 1146.47C201.481 1146.47 95.7768 1026.51 95.7768 878.507L95.7768 369.853C95.7768 221.859 201.481 101.886 331.875 101.886Z" fill="#ffffff" fill-rule="nonzero" filter="url(#Filter)" stroke="none" vectornator:shadowAngle="1.5708" vectornator:shadowColor="#000000" vectornator:shadowOffset="0" vectornator:shadowOpacity="0.707612" vectornator:shadowRadius="20"/>
 </g>
 <g id="Layer-1" vectornator:layerName="Layer 1">
-<g opacity="1">
-<path d="M508.29 1151.47C499.706 1142.88 481.805 1138.55 470.999 1133.15C442.578 1118.94 411.006 1097.07 387.258 1075.57C263.77 963.849 212.916 826.792 208 662.104C207.265 637.477 206.461 612.034 209.962 587.523C217.61 533.988 231.894 484.936 251.833 435.087C261.546 410.806 279.02 387.867 294.358 366.393C353.531 283.55 441.041 232.198 542.311 227.697C582.627 225.905 624.705 233.893 660.725 251.904C667.792 255.437 677.077 257.461 683.623 262.372C701.531 275.803 720.157 287.449 737.27 302.279C769.92 330.576 805.857 373.651 822.319 414.806C830.644 435.617 841.968 457.406 848.489 480.229C850.663 487.838 854.53 513.094 858.956 517.52C871.337 508.235 882.799 495.376 894.285 484.809C919.621 461.498 945.449 438.726 970.83 415.46C960.319 394.44 951.724 371.36 941.389 350.692C910.315 288.542 857.914 232.359 804.656 189.752C760.947 154.785 708.68 130.553 654.837 115.17C607.824 101.738 559.248 97.9311 510.253 101.431C466.203 104.577 422.831 114.549 382.025 130.871C121.825 234.951 25.2796 542.926 89.5845 800.146C125.309 943.045 233.332 1066.22 369.594 1120.72C403.561 1134.3 438.907 1142.96 474.924 1149.5C480.737 1150.56 505.338 1154.42 508.29 1151.47Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
-<path d="M1035.6 730.798C1034.61 731.453 1034.61 731.453 1033.63 732.106C1035.91 736.664 1030.98 747.959 1029.71 753.042C1025.05 771.679 1017.28 789.008 1012.05 807.343C1008.24 820.652 1000.96 832.781 995.036 844.634C958.481 917.743 888.517 985.819 807.927 1008.84C762.978 1021.69 718.511 1027.28 671.193 1023.89C644.292 1021.97 593.969 1010.62 572.404 994.452C565.778 989.481 556.639 986.955 549.507 982.676C538.707 976.196 528.363 968.414 518.103 961.086C494.292 944.077 473.244 920.046 455.298 896.972C441.119 878.742 433.487 857.35 421.932 838.091C399.99 801.521 390.908 753.266 385.295 711.171C373.357 621.634 391.357 538.108 430.437 459.948C463.859 393.105 522.111 350.651 586.143 318.635C603.204 310.104 626.389 306.006 645.024 302.279C651.231 301.037 665.847 301.738 669.885 297.7C667.148 294.963 662.73 294.951 659.416 292.466C643.403 280.455 619.349 275.202 599.882 270.877C505.606 249.926 411.029 291.289 347.35 360.505C333.163 375.926 313.428 396.899 305.48 416.769C300.797 428.476 290.319 438.814 287.162 451.443C284.067 463.82 276.9 476.116 272.114 488.079C265.32 505.065 260.835 524.038 256.413 541.727C245.053 587.164 245.291 637.041 245.291 683.04C245.291 805.613 301.577 938.211 387.912 1024.54C481.975 1118.61 619.588 1163.37 751.663 1150.15C782.286 1147.1 817.658 1142.08 846.526 1130.53C858.371 1125.8 870.662 1122.19 882.508 1117.45C888.667 1114.98 895.418 1110.45 901.481 1108.94C905.908 1107.84 909.744 1103.44 913.912 1102.4C929.887 1098.41 946.125 1085.29 959.708 1076.23C1026.47 1031.73 1071.74 977.394 1112.14 910.057C1123.23 891.585 1129.81 872.11 1139.62 852.484C1140.75 850.217 1148.25 832.459 1148.12 832.204C1146.37 828.708 1138.03 823.221 1135.7 821.082C1128.52 814.504 1121.38 807.921 1114.11 801.455C1087.81 778.08 1061.31 754.802 1035.6 730.798Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
-<path d="M885.78 720.985C875.158 722.756 870.828 720.552 856.34 721.639C854.043 721.811 850.57 737.252 849.797 739.958C844.604 758.133 834.539 774.177 827.553 791.642C812.671 828.845 776.882 863.486 747.738 888.467C715.198 916.359 676.946 932.128 637.174 945.385C625.467 949.287 588.578 951.455 582.873 957.16C588.103 962.391 598.026 963.113 604.462 966.974C628.183 981.207 662.412 984.687 690.166 986.602C781.297 992.886 868.547 952.31 926.996 883.233C946.59 860.076 959.475 833.977 972.792 807.343C982.589 787.748 988.301 765.166 994.381 743.883C995.925 738.482 999.762 728.553 998.961 722.948C998.874 722.337 998.27 721.65 997.653 721.639C973.45 721.21 949.24 721.639 885.78 720.985Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
-<path d="M725.494 98.8139C724.839 99.4687 724.839 99.4687 724.186 100.122C730.217 106.155 740.476 108.595 748.392 112.553C766.41 121.562 784.339 130.939 800.73 142.648C846.572 175.392 886.892 212.203 923.725 255.174C943.22 277.919 960.448 307.031 973.446 333.028C978.354 342.843 986.355 353.083 988.493 363.776C990.374 373.183 997.276 385.267 1001.58 393.871C1002.08 394.871 1002.06 402.346 1004.85 402.376C1049.55 402.857 1094.41 406.742 1138.96 403.03C1141.12 402.85 1140.27 399.976 1139.62 399.105C1133.42 390.839 1133.02 376.995 1126.54 368.357C1119.14 358.505 1115.24 344.956 1108.87 334.336C1091.75 305.804 1070.81 279.887 1049.99 253.867C1032.27 231.721 1009.89 212.015 987.185 194.985C911.776 138.429 831.691 110.032 725.494 98.8139Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
-<path d="M904.098 531.258C904.534 531.695 904.79 532.559 905.407 532.567C941.605 532.998 977.809 532.778 1014.01 532.567C1021.08 532.526 1032.08 519.573 1036.26 515.557C1044.59 507.541 1052.77 499.364 1061.11 491.351C1079.53 473.654 1098.4 455.879 1117.37 439.013C1116.72 438.577 1116.19 437.708 1115.42 437.704C1078.13 437.49 1040.83 437.928 1003.54 438.359C1000.09 438.399 993.688 447.046 990.456 450.134C981.87 458.338 973.497 466.762 964.941 474.995C945.101 494.086 924.778 513.163 904.098 531.258Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
+<g filter="url(#Filter_2)" vectornator:shadowAngle="1.5708" vectornator:shadowColor="#000000" vectornator:shadowOffset="10" vectornator:shadowOpacity="0.707612" vectornator:shadowRadius="25">
+<path d="M524.669 1077.18C517.347 1069.85 502.078 1066.16 492.861 1061.55C468.62 1049.43 441.691 1030.78 421.435 1012.44C316.106 917.148 272.73 800.246 268.537 659.776C267.91 638.77 267.225 617.069 270.211 596.162C276.734 550.5 288.918 508.661 305.925 466.143C314.209 445.432 329.114 425.866 342.196 407.55C392.667 336.89 467.309 293.089 553.687 289.25C588.074 287.722 623.964 294.535 654.687 309.897C660.715 312.911 668.635 314.637 674.218 318.826C689.493 330.282 705.38 340.215 719.976 352.864C747.825 377 778.477 413.741 792.519 448.844C799.619 466.595 809.278 485.18 814.84 504.646C816.694 511.136 819.993 532.678 823.768 536.454C834.328 528.534 844.105 517.566 853.902 508.553C875.512 488.67 897.542 469.246 919.19 449.402C910.225 431.473 902.894 411.787 894.079 394.158C867.574 341.148 822.879 293.226 777.453 256.885C740.172 227.06 695.591 206.391 649.665 193.271C609.566 181.814 568.133 178.567 526.343 181.552C488.771 184.235 451.777 192.741 416.971 206.663C195.035 295.437 112.687 558.124 167.535 777.518C198.006 899.404 290.144 1004.47 406.368 1050.95C435.34 1062.53 465.489 1069.92 496.209 1075.5C501.167 1076.4 522.151 1079.7 524.669 1077.18Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
+<path d="M974.436 718.368C973.591 718.927 973.591 718.927 972.756 719.484C974.7 723.372 970.495 733.006 969.412 737.341C965.437 753.238 958.81 768.018 954.349 783.657C951.099 795.009 944.89 805.354 939.837 815.464C908.657 877.822 848.982 935.887 780.243 955.523C741.904 966.484 703.976 971.252 663.616 968.36C640.671 966.722 597.748 957.041 579.354 943.251C573.703 939.011 565.908 936.856 559.825 933.207C550.613 927.68 541.79 921.042 533.039 914.792C512.729 900.284 494.776 879.787 479.469 860.106C467.375 844.557 460.866 826.31 451.01 809.883C432.295 778.691 424.548 737.532 419.76 701.627C409.578 625.257 424.931 554.014 458.264 487.348C486.771 430.334 536.457 394.123 591.073 366.815C605.625 359.539 625.401 356.043 641.295 352.864C646.59 351.805 659.056 352.403 662.501 348.959C660.166 346.624 656.398 346.614 653.571 344.495C639.913 334.25 619.396 329.769 602.792 326.08C522.379 308.21 441.71 343.491 387.395 402.528C375.295 415.681 358.462 433.57 351.683 450.518C347.688 460.504 338.751 469.322 336.058 480.093C333.418 490.65 327.305 501.138 323.223 511.342C317.428 525.83 313.603 542.013 309.831 557.101C300.142 595.856 300.345 638.399 300.345 677.633C300.345 782.181 348.353 895.28 421.993 968.914C502.223 1049.15 619.6 1087.33 732.253 1076.05C758.373 1073.45 788.543 1069.17 813.166 1059.32C823.269 1055.28 833.753 1052.2 843.857 1048.16C849.11 1046.05 854.868 1042.19 860.039 1040.9C863.815 1039.96 867.087 1036.21 870.642 1035.32C884.268 1031.92 898.118 1020.73 909.704 1013C966.648 975.047 1005.26 928.701 1039.72 871.267C1049.18 855.511 1054.79 838.9 1063.16 822.16C1064.12 820.226 1070.52 805.08 1070.41 804.862C1068.92 801.88 1061.8 797.2 1059.82 795.376C1053.69 789.765 1047.6 784.15 1041.4 778.635C1018.97 758.697 996.365 738.842 974.436 718.368Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
+<path d="M846.647 709.998C837.587 711.509 833.894 709.629 821.537 710.556C819.577 710.703 816.615 723.873 815.956 726.181C811.526 741.684 802.942 755.368 796.983 770.265C784.289 801.997 753.763 831.544 728.905 852.851C701.15 876.642 668.523 890.092 634.6 901.399C624.614 904.728 593.15 906.577 588.284 911.443C592.745 915.905 601.209 916.52 606.698 919.814C626.931 931.954 656.126 934.922 679.799 936.555C757.529 941.915 831.949 907.306 881.802 848.387C898.515 828.635 909.505 806.374 920.864 783.657C929.22 766.944 934.092 747.682 939.278 729.529C940.595 724.922 943.868 716.453 943.185 711.673C943.111 711.151 942.595 710.566 942.069 710.556C921.425 710.19 900.775 710.556 846.647 709.998Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
+<path d="M709.932 179.32C709.373 179.878 709.373 179.878 708.816 180.435C713.96 185.581 722.711 187.662 729.463 191.038C744.831 198.723 760.124 206.721 774.104 216.708C813.205 244.637 847.596 276.034 879.012 312.686C895.641 332.087 910.335 356.918 921.422 379.092C925.608 387.463 932.432 396.198 934.256 405.318C935.86 413.342 941.747 423.649 945.419 430.988C945.845 431.841 945.828 438.216 948.208 438.242C986.334 438.652 1024.6 441.966 1062.6 438.8C1064.44 438.646 1063.71 436.195 1063.16 435.452C1057.87 428.401 1057.53 416.593 1052 409.225C1045.69 400.822 1042.36 389.266 1036.93 380.207C1022.33 355.871 1004.47 333.765 986.71 311.572C971.596 292.682 952.507 275.874 933.14 261.348C868.821 213.109 800.512 188.888 709.932 179.32Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
+<path d="M862.272 548.171C862.644 548.544 862.862 549.281 863.388 549.288C894.263 549.655 925.143 549.468 956.021 549.288C962.051 549.253 971.433 538.205 974.999 534.779C982.104 527.942 989.081 520.967 996.194 514.133C1011.91 499.038 1028 483.877 1044.18 469.491C1043.63 469.119 1043.17 468.378 1042.52 468.375C1010.71 468.192 978.897 468.566 947.09 468.933C944.148 468.968 938.687 476.343 935.93 478.977C928.607 485.974 921.465 493.16 914.167 500.182C897.245 516.466 879.911 532.737 862.272 548.171Z" fill="#4282c4" fill-rule="nonzero" opacity="1" stroke="none"/>
 </g>
 </g>
 </svg>

cozodesk/package.json

@@ -12,6 +12,8 @@
     "@rollup/plugin-commonjs": "^17.0.0",
     "@rollup/plugin-node-resolve": "^11.0.0",
     "@tauri-apps/cli": "^1.0.5",
+    "carbon-components-svelte": "^0.70.0",
+    "carbon-icons-svelte": "^11.2.0",
     "rollup": "^2.3.4",
     "rollup-plugin-css-only": "^3.1.0",
     "rollup-plugin-livereload": "^2.0.0",

cozodesk/src-tauri/src/main.rs

@@ -9,7 +9,7 @@ struct CozoAppState {
     db: Mutex<Option<cozo::Db>>,
 }
 
-#[tauri::command]
+#[tauri::command(async)]
 fn open_db(path: String, state: tauri::State<CozoAppState>) -> Result<(), String> {
     let mut cur_db = state.db.lock().unwrap();
     let builder = cozo::DbBuilder::default()
@@ -24,7 +24,7 @@ fn open_db(path: String, state: tauri::State<CozoAppState>) -> Result<(), String
     }
 }
 
-#[tauri::command]
+#[tauri::command(async)]
 fn close_db(state: tauri::State<CozoAppState>) -> Result<(), String> {
     state.db.lock().unwrap().take();
     Ok(())

cozodesk/src/App.svelte

@@ -1,6 +1,8 @@
 <script>
+    import { Button } from "carbon-components-svelte";
     import {message, open, save} from '@tauri-apps/api/dialog';
     import {invoke} from '@tauri-apps/api/tauri'
+    import {Folder, FolderAdd, Close, DirectionStraightRight} from "carbon-icons-svelte";
 
     let queryText = '';
     let queryArea;
@@ -69,13 +71,13 @@
 
 <main>
     <div>
-        <button on:click={handleOpen}>Open</button>
-        <button on:click={handleCreate}>Create</button>
-        <button on:click={handleClose}>Close</button>
+        <Button icon={Folder} on:click={handleOpen}>Open</Button>
+        <Button icon={FolderAdd} on:click={handleCreate}>Create</Button>
+        <Button icon={Close} on:click={handleClose}>Close</Button>
     </div>
     <textarea bind:this={queryArea} bind:value={queryText}></textarea>
     <div>
-        <button on:click={handleQuery} disabled={inProgress}>Query</button>
+        <Button icon={DirectionStraightRight} on:click={handleQuery} disabled={inProgress}>Query</Button>
     </div>
     <div>{statusMessage}</div>
     <div class="result-display">

cozodesk/src/main.js

@@ -1,3 +1,4 @@
+import "carbon-components-svelte/css/white.css";
 import App from './App.svelte';
 
 const app = new App({

cozodesk/yarn.lock

@@ -252,6 +252,18 @@ builtin-modules@^3.1.0:
   resolved "https://registry.npmmirror.com/builtin-modules/-/builtin-modules-3.3.0.tgz#cae62812b89801e9656336e46223e030386be7b6"
   integrity sha512-zhaCDicdLuWN5UbN5IMnFqNMhNfo919sH85y2/ea+5Yg9TsTkeZxpL+JLbp6cgYFS4sRLp3YV4S6yDuqVWHYOw==
 
+carbon-components-svelte@^0.70.0:
+  version "0.70.0"
+  resolved "https://registry.npmmirror.com/carbon-components-svelte/-/carbon-components-svelte-0.70.0.tgz#dea896494d41e69c80912013c8bf5596603f5e2d"
+  integrity sha512-DplA33JOzb8gPX0fpmLCb3ndKTH05O7nxBax/kIGOuZPGS2kgZpRgiNpTfZdjf8tsQ/mpN7Xgfe1glflGPhH+A==
+  dependencies:
+    flatpickr "4.6.9"
+
+carbon-icons-svelte@^11.2.0:
+  version "11.2.0"
+  resolved "https://registry.npmmirror.com/carbon-icons-svelte/-/carbon-icons-svelte-11.2.0.tgz#4b791c5cdb9b3b8b52758475a5b2e4ca96062639"
+  integrity sha512-nbqCEKoZA5EzT2Lr8vNYnfWcDl5GnFFLnbD861U32g9cNe7D7nmQKx4T+goFp5AoY60OyAgKUNJov8LwNEkhbg==
+
 chalk@^2.0.0:
   version "2.4.2"
   resolved "https://registry.npmmirror.com/chalk/-/chalk-2.4.2.tgz#cd42541677a54333cf541a49108c1432b44c9424"
@@ -340,6 +352,11 @@ fill-range@^7.0.1:
   dependencies:
     to-regex-range "^5.0.1"
 
+flatpickr@4.6.9:
+  version "4.6.9"
+  resolved "https://registry.npmmirror.com/flatpickr/-/flatpickr-4.6.9.tgz#9a13383e8a6814bda5d232eae3fcdccb97dc1499"
+  integrity sha512-F0azNNi8foVWKSF+8X+ZJzz8r9sE1G4hl06RyceIaLvyltKvDl6vqk9Lm/6AUUCi5HWaIjiUbk7UpeE/fOXOpw==
+
 fs.realpath@^1.0.0:
   version "1.0.0"
   resolved "https://registry.npmmirror.com/fs.realpath/-/fs.realpath-1.0.0.tgz#1504ad2523158caa40db4a2787cb01411994ea4f"