Scott Chow

Inconsistent/Too Small Interface Size in Ubuntu 20.04

7

**Describe the bug** 1. The font size of the interface is very small. This includes the tab bar, settings/user accounts/update icons, and the streamer name. 2. The font size of...

- [x] I have marked all applicable categories: + [ ] exception-raising bug + [x] visual output bug - [x] I have visited the [source website], and in particular read...

Goal biasing for RRT-based OMPL planners does not work

2

### Description The OMPL planners that use goal biasing (RRT, RRTstar, etc.) do not perform goal biasing because the Goal object passed into OMPL via Moveit's OMPL interface is not...