1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 06:40:06 -04:00

remove unused use

This commit is contained in:
René Rössler
2022-02-09 12:11:59 +01:00
parent 0396eed9bf
commit 9d19a07a55

View File

@@ -1,4 +1,4 @@
use egui::{Label, RichText}; use egui::Label;
use egui_extras::{GridBuilder, Padding, Size, TableBuilder}; use egui_extras::{GridBuilder, Padding, Size, TableBuilder};
/// Shows off a table with dynamic layout /// Shows off a table with dynamic layout