From da6bae70a93693e79579e5403403487e46dd6855 Mon Sep 17 00:00:00 2001
From: Elias Projahn <elias@johrpan.de>
Date: Wed, 17 Aug 2022 16:46:39 +0200
Subject: [PATCH] Rename results module to details

---
 R/{results.R => details.R} | 4 ++--
 R/server.R                 | 2 +-
 R/ui.R                     | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)
 rename R/{results.R => details.R} (96%)

diff --git a/R/results.R b/R/details.R
similarity index 96%
rename from R/results.R
rename to R/details.R
index 3e9ee76..8c57d97 100644
--- a/R/results.R
+++ b/R/details.R
@@ -1,6 +1,6 @@
 #' Construct UI for the detailed results panel.
 #' @noRd
-results_ui <- function(id) {
+details_ui <- function(id) {
   verticalLayout(
     div(
       style = "margin-top: 16px",
@@ -23,7 +23,7 @@ results_ui <- function(id) {
 #'   displayed.
 #'
 #' @noRd
-results_server <- function(id, filtered_results) {
+details_server <- function(id, filtered_results) {
   moduleServer(id, function(input, output, session) {
     output$copy <- renderUI({
       results <- filtered_results()
diff --git a/R/server.R b/R/server.R
index d60ab97..60b0833 100644
--- a/R/server.R
+++ b/R/server.R
@@ -71,7 +71,7 @@ server <- function(options) {
     results_filtered <- filters_server("filters", results)
 
     # Server for the detailed results panel.
-    results_server("results", results_filtered)
+    details_server("results", results_filtered)
 
     output$rank_plot <- plotly::renderPlotly({
       preset <- preset()
diff --git a/R/ui.R b/R/ui.R
index 78aa37d..78a42ee 100644
--- a/R/ui.R
+++ b/R/ui.R
@@ -162,7 +162,7 @@ ui <- function(options) {
               ),
               tabPanel(
                 title = "Detailed results",
-                results_ui("results")
+                details_ui("results")
               ),
               tabPanel(
                 title = "g:Profiler",