From b68d84bee7c92b35206f1975ef3c8cf2cdcdc213 Mon Sep 17 00:00:00 2001 From: Tad Hardesty Date: Fri, 15 Nov 2019 23:02:49 -0800 Subject: [PATCH] Remove bullets from About SpacemanDMM menu --- src/editor/main.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/editor/main.rs b/src/editor/main.rs index e0595b90..216ac791 100644 --- a/src/editor/main.rs +++ b/src/editor/main.rs @@ -574,13 +574,13 @@ impl EditorScene { } ui.menu(im_str!("Help"), true, || { ui.menu(im_str!("About SpacemanDMM"), true, || { - ui.bullet_text(&im_str!( + ui.text(&im_str!( "{} {} Copyright (C) 2017-2019 Tad Hardesty", env!("CARGO_PKG_NAME"), env!("CARGO_PKG_VERSION"), )); - ui.bullet_text(&im_str!("{}", include_str!(concat!(env!("OUT_DIR"), "/build-info.txt")))); - ui.bullet_text(im_str!("This program comes with ABSOLUTELY NO WARRANTY. This is free software,\n\ + ui.text(&im_str!("{}", include_str!(concat!(env!("OUT_DIR"), "/build-info.txt")))); + ui.text(im_str!("This program comes with ABSOLUTELY NO WARRANTY. This is free software,\n\ and you are welcome to redistribute it under the conditions of the GNU\n\ General Public License version 3.")); });