2021-02-24 20:52:18 +01:00
|
|
|
import 'package:flutter/material.dart';
|
|
|
|
|
|
|
|
/// shows either brush icon if fancy is true, or build icon if it's false
|
|
|
|
/// used mostly for pages where markdown editor is used
|
|
|
|
///
|
|
|
|
/// brush icon is rotated to look similarly to build icon
|
2021-04-09 00:11:44 +02:00
|
|
|
Widget markdownModeIcon({required bool fancy}) => fancy
|
2021-02-24 20:52:18 +01:00
|
|
|
? const Icon(Icons.build)
|
|
|
|
: const RotatedBox(
|
|
|
|
quarterTurns: 1,
|
|
|
|
child: Icon(Icons.brush),
|
|
|
|
);
|