Add CodeFind feature

src/Library/demos/Code Find/main.blp

@@ -0,0 +1,71 @@
+using Gtk 4.0;
+using GtkSource 5;
+using Adw 1;
+
+Adw.StatusPage {
+  title: "Code Find";
+  description: _("Code Find feature for Workbench");
+
+  Box {
+    orientation: vertical;
+
+    Overlay overlay {
+      ScrolledWindow scroll_view {
+        height-request: 360;
+      }
+      [overlay]
+      Box {
+        halign:end;
+        valign: start;
+        margin-end: 18;
+
+        Revealer revealer {
+          Box {
+            orientation: horizontal;
+
+            SearchBar search_bar {
+              search-mode-enabled: false;
+
+              Box {
+                spacing: 18;
+                SearchEntry search_entry {
+                  placeholder-text: _("Start searching");
+                  search-delay: 300;
+
+                  Label occurence_counter {
+                    label: _("");
+                  }
+                }
+                Box {
+                  valign: center;
+                  styles ["linked"]
+                  Button previous_match {
+                    icon-name: "up";
+                    tooltip-text: "Move to previous match (Ctrl+Shift+G)";
+                    sensitive: false;
+                  }
+                  Button next_match {
+                    icon-name: "down";
+                    tooltip-text: "Move to next match (Ctrl+G)";
+                    sensitive: false;
+                  }
+                }
+                Button close_button {
+                  halign: center;
+                  valign: center;
+                  margin-end: 6;
+                  tooltip-text: "Close search";
+                  icon-name: "window-close-symbolic";
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+}
+
+
+
+

src/Library/demos/Code Find/main.js

@@ -0,0 +1,280 @@
+import Adw from "gi://Adw";
+import Gtk from "gi://Gtk";
+import Source from "gi://GtkSource";
+import Gdk from "gi://Gdk";
+
+Source.init();
+
+const previous_match = workbench.builder.get_object("previous_match");
+const next_match = workbench.builder.get_object("next_match");
+const overlay = workbench.builder.get_object("overlay");
+const revealer = workbench.builder.get_object("revealer");
+const search_entry = workbench.builder.get_object("search_entry");
+const search_bar = workbench.builder.get_object("search_bar");
+const close_button = workbench.builder.get_object("close_button");
+const occurence_counter = workbench.builder.get_object("occurence_counter");
+//const source_view = workbench.builder.get_object("source_view");
+const scroll_view = workbench.builder.get_object("scroll_view");
+const source_view = new Source.View({
+  monospace: true,
+  auto_indent: true,
+  highlight_current_line: true,
+  indent_on_tab: true,
+  indent_width: 2,
+  insert_spaces_instead_of_tabs: true,
+  show_line_marks: true,
+  show_line_numbers: true,
+  smart_backspace: true,
+  tab_width: 2,
+  css_classes: ["card"],
+});
+const buffer = source_view.get_buffer();
+
+const sampleCode = `
+function calculateSum(a, b) {
+  return a + b;
+}
+
+function calculateProduct(a, b) {
+  return a * b;
+}
+
+function calculatePower(base, exponent) {
+  let result = 1;
+  for (let i = 0; i < exponent; i++) {
+    result *= base;
+  }
+  return result;
+}
+
+function calculateFactorial(num) {
+  if (num === 0 || num === 1) {
+    return 1;
+  }
+  let factorial = 1;
+  for (let i = 2; i <= num; i++) {
+    factorial *= i;
+  }
+  return factorial;
+}
+
+function generateFibonacciSequence(n) {
+  const sequence = [0, 1];
+  for (let i = 2; i < n; i++) {
+    const nextNumber = sequence[i - 1] + sequence[i - 2];
+    sequence.push(nextNumber);
+  }
+  return sequence;
+}
+
+function isPrimeNumber(num) {
+  if (num <= 1) {
+    return false;
+  }
+  for (let i = 2; i <= Math.sqrt(num); i++) {
+    if (num % i === 0) {
+      return false;
+    }
+  }
+  return true;
+}
+
+function getPrimeNumbersInRange(start, end) {
+  const primes = [];
+  for (let i = start; i <= end; i++) {
+    if (isPrimeNumber(i)) {
+      primes.push(i);
+    }
+  }
+  return primes;
+}
+
+// Main program
+const num1 = 10;
+const num2 = 5;
+
+const sum = calculateSum(num1, num2);
+console.log("Sum:", sum);
+
+const product = calculateProduct(num1, num2);
+console.log("Product:", product);
+
+const power = calculatePower(num1, num2);
+console.log("Power:", power);
+
+const factorial = calculateFactorial(num1);
+console.log("Factorial:", factorial);
+
+const fibonacciSequence = generateFibonacciSequence(10);
+console.log("Fibonacci Sequence:", fibonacciSequence);
+
+const primeNumbers = getPrimeNumbersInRange(1, 100);
+console.log("Prime Numbers:", primeNumbers);
+`;
+
+buffer.set_text(sampleCode, -1);
+scroll_view.set_child(source_view);
+let searchTerm = search_entry.get_text();
+//Functions
+
+//Event-Controller for SourceView
+const controller_key = new Gtk.EventControllerKey();
+source_view.add_controller(controller_key);
+controller_key.connect("key-pressed", (controller, keyval, keycode, state) => {
+  if (
+    (state & Gdk.ModifierType.CONTROL_MASK && keyval === Gdk.KEY_f) ||
+    (state & Gdk.ModifierType.CONTROL_MASK && keyval === Gdk.KEY_F)
+  ) {
+    revealer.reveal_child = true;
+    search_bar.search_mode_enabled = true;
+  } else if (keyval === Gdk.KEY_Escape) {
+    revealer.reveal_child = false;
+  } else if (
+    (state & Gdk.ModifierType.CONTROL_MASK &&
+      state & Gdk.ModifierType.SHIFT_MASK &&
+      keyval === Gdk.KEY_g) ||
+    (state & Gdk.ModifierType.CONTROL_MASK &&
+      state & Gdk.ModifierType.SHIFT_MASK &&
+      keyval === Gdk.KEY_G)
+  ) {
+    backward_search();
+  } else if (
+    (state & Gdk.ModifierType.CONTROL_MASK && keyval === Gdk.KEY_g) ||
+    (state & Gdk.ModifierType.CONTROL_MASK && keyval === Gdk.KEY_G)
+  ) {
+    forward_search();
+  }
+});
+
+//Event-Controller for SearchEntry
+const controller_for_search = new Gtk.EventControllerKey();
+search_entry.add_controller(controller_for_search);
+
+controller_for_search.connect(
+  "key-pressed",
+  (controller, keyval, keycode, state) => {
+    if (
+      (state & Gdk.ModifierType.CONTROL_MASK &&
+        state & Gdk.ModifierType.SHIFT_MASK &&
+        keyval === Gdk.KEY_g) ||
+      (state & Gdk.ModifierType.CONTROL_MASK &&
+        state & Gdk.ModifierType.SHIFT_MASK &&
+        keyval === Gdk.KEY_G)
+    ) {
+      backward_search();
+    } else if (
+      (state & Gdk.ModifierType.CONTROL_MASK && keyval === Gdk.KEY_g) ||
+      (state & Gdk.ModifierType.CONTROL_MASK && keyval === Gdk.KEY_G)
+    ) {
+      forward_search();
+    }
+  },
+);
+
+//Setup SearchBar
+search_bar.connect_entry(search_entry);
+const search_settings = new Source.SearchSettings({
+  case_sensitive: false,
+});
+
+//Setup SearchContext
+const search_context = new Source.SearchContext({
+  buffer,
+  settings: search_settings,
+  highlight: true,
+});
+
+//Select Highlights
+function selectSearchOccurence(match_start, match_end) {
+  buffer.select_range(match_start, match_end);
+  source_view.scroll_mark_onscreen(buffer.get_insert());
+}
+
+//Forward Search
+function forward_search() {
+  const [, , iter] = buffer.get_selection_bounds();
+  const [found, match_start, match_end] = search_context.forward(iter);
+  if (!found) return;
+  // log(iter.get_offset(), match_start.get_offset(), match_end.get_offset());
+  selectSearchOccurence(match_start, match_end);
+  updateLabel(iter, match_start, match_end);
+}
+
+//Backward Search
+function backward_search() {
+  const [, iter] = buffer.get_selection_bounds();
+  const [found, match_start, match_end] = search_context.backward(iter);
+  if (!found) return;
+  // log(iter.get_offset(), match_start.get_offset(), match_end.get_offset());
+  selectSearchOccurence(match_start, match_end);
+  updateLabel(iter, match_start, match_end);
+}
+
+//Search Entry Handler
+search_entry.connect("search-changed", () => {
+  searchTerm = search_entry.get_text();
+  search_settings.search_text = searchTerm;
+  if (searchTerm === "") {
+    previous_match.sensitive = false;
+    next_match.sensitive = false;
+    occurence_counter.set_text("");
+  } else {
+    previous_match.sensitive = true;
+    next_match.sensitive = true;
+  }
+  const [, , iter] = buffer.get_selection_bounds();
+  const [found, match_start, match_end] = search_context.forward(iter);
+  if (!found) {
+    previous_match.sensitive = false;
+    next_match.sensitive = false;
+  }
+});
+
+//Previous Button Handler
+previous_match.connect("clicked", () => {
+  backward_search();
+});
+
+//Next Button Handler
+next_match.connect("clicked", () => {
+  forward_search();
+});
+
+//Close-button Handler
+close_button.connect("clicked", () => {
+  revealer.reveal_child = false;
+  search_entry.set_text("");
+});
+
+//Color for Source-View
+const scheme_manager = Source.StyleSchemeManager.get_default();
+const style_manager = Adw.StyleManager.get_default();
+
+function updateScheme() {
+  const scheme = scheme_manager.get_scheme(
+    style_manager.dark ? "Adwaita-dark" : "Adwaita",
+  );
+  buffer.set_style_scheme(scheme);
+}
+
+updateScheme();
+style_manager.connect("notify::dark", updateScheme);
+
+//Label Updation
+function updateLabel(iter, match_start, match_end) {
+  let text;
+  const occ_count = search_context.get_occurrences_count();
+  const occ_pos = search_context.get_occurrence_position(
+    match_start,
+    match_end,
+  );
+
+  if (occ_count === -1) {
+    text = "";
+  } else if (occ_pos === -1) {
+    text = `${occ_count} occurences`;
+  } else {
+    text = `${occ_pos} of ${occ_count}`;
+  }
+  occurence_counter.label = text;
+}

src/Library/demos/Code Find/main.json

@@ -0,0 +1,7 @@
+{
+  "name": "Code Find",
+  "category": "platform",
+  "description": "Implement a codefind feature",
+  "panels": ["code", "preview"],
+  "autorun": true
+}